Static aspect on intrinsic functions (GNAT Reference Manual) (original) (raw)

Next: First Controlling Parameter, Previous: Constrained attribute for generic objects, Up: Curated Extensions [Contents][Index]

17.2.8 Static aspect on intrinsic functions ¶

The Ada 202x Static aspect can be specified on Intrinsic imported functions and the compiler will evaluate some of these intrinsics statically, in particular the Shift_Left and Shift_Right intrinsics.