		Search-engine friendly clone of the ACL2 documentation.

Attrib-spec

Fixtype of GCC attribute specifiers.

This is a product type introduced by fty::defprod.

Fields

uscores — booleanp
attribs — attrib-list

This is part of the GCC extension for attributes. For now we only model the older __attribute__ syntax.

We wrap a possibly empty list of attributes, and we include a flag to distinguish between __attribute and __attribute__. The flag is t for the second variant (i.e. more underscores), nil for the first variant (i.e. fewer underscores).

Subtopics

Attrib-spec-equiv: Basic equivalence relation for attrib-spec structures.
Make-attrib-spec: Basic constructor macro for attrib-spec structures.
Attrib-spec->attribs: Get the attribs field from a attrib-spec.
Change-attrib-spec: Modifying constructor for attrib-spec structures.
Attrib-spec->uscores: Get the uscores field from a attrib-spec.
Attrib-specp: Recognizer for attrib-spec structures.
Attrib-spec-fix: Fixing function for attrib-spec structures.
Attrib-spec-count: Measure for recurring over attrib-spec structures.