Previous: USE_PACKAGE_Clauses, Up: Predefined Rules

23.6.57 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.