search for: adaic

...ssumed to not alias, but that that the compiler must be careful to >> limit the transforms it applies in the case that they do alias. >> >> Is there a reference that you can point to in the Ada spec that >> describes this concretely? > > Sure, check out > http://www.adaic.com/standards/05aarm/html/AA-6-2.html > Some types, like array types, are neither by-copy types nor by- > reference > types. The candidates I have in mind for noalias are formal > parameters > of such a type. The parameter passing mechanism used for the > parameter > is...

On Aug 21, 2007, at 6:12 AM, Duncan Sands wrote: > Hi Christopher, > >> The benefits of a const * __restrict come from two different places. >> The const part is essentially enforced by the front-end and the >> restrict part is used to inform the alias analysis (it becomes a >> noalias parameter attribute). The noalias parameter attribute may be >> of use to