Aspect Unreferenced (GNAT Reference Manual) (original) (raw)

Next: Aspect Unreferenced_Objects, Previous: Aspect Unmodified, Up: Implementation Defined Aspects [Contents][Index]

3.64 Aspect Unreferenced ¶

This boolean aspect is equivalent to pragma Unreferenced.

When using the -gnat2022 switch, this aspect is also supported on formal parameters, which is in particular the only form possible for expression functions.