Pragma Controlled is an old Ada 83 pragma that was never implemented by any compiler. Consequently, it has finally been removed with Ada 2012.
The pragma was meant to prevent garbage collectors (also never implemented by any compiler) from tampering with the storage pool of the corresponding access type. The syntax was
Also see Deleting objects from a storage pool in the page about access types.