Next: , Previous: Pragma Restriction_Warnings, Up: Implementation Defined Pragmas


2.151 Pragma Reviewable

Syntax:

    pragma Reviewable;

This pragma is an RM-defined standard pragma, but has no effect on the program being compiled, or on the code generated for the program.

To obtain the required output specified in RM H.3.1, the compiler must be run with various special switches as follows:

A supplemental static analysis tool may be used to obtain a comprehensive list of all possible points at which uninitialized data may be read.

A supplemental static analysis tool may be used to obtain complete control and data-flow information, as well as comprehensive messages identifying possible problems based on this information.