Previous: USE_PACKAGE_Clauses, Up: Predefined Rules
Volatile_Objects_Without_Address_Clauses
Flag each volatile object that does not have an address clause.
The following check is made: if the pragma Volatile
is applied to a
data object or to its type, then an address clause must
be supplied for this object.
This rule does not check the components of data objects,
array components that are volatile as a result of the pragma
Volatile_Components
, or objects that are volatile because
they are atomic as a result of pragmas Atomic
or
Atomic_Components
.
Only variable declarations, and not constant declarations, are checked.
This rule has no parameters.