guideline

Use address clauses to map variables and entries to the hardware device or memory, not to model the FORTRAN "equivalence" feature.

Ensure that the address specified in an attribute definition clause is valid and does not conflict with the alignment.

If available in your Ada environment, use the package Ada.Interrupts to associate handlers with interrupts.

Avoid using the address clause for nonimported program units.

Single_Address : constant System.Address := System.Storage_Elements.To_Address(...);
Interrupt_Vector_Table : Hardware_Array;
for Interrupt_Vector_Table'Address use Single_Address;

rationale

The result of specifying a single address for multiple objects or program units is undefined, as is specifying multiple addresses for a single object or program unit. Specifying multiple address clauses for an interrupt is also undefined. It does not necessarily overlay objects or program units, or associate a single entry with more than one interrupt.

You are responsible for ensuring the validity of an address you specify. Ada requires that the object of an address be an integral multiple of its alignment.