1
This pragma directs the implementation to provide information to facilitate analysis and review of a program's object code, in particular to allow determination of execution time and storage usage and to identify the correspondence between the source and object programs.
2
The form of a pragma Reviewable is as follows:
3
pragma Reviewable;
4
Pragma Reviewable is a configuration pragma. It applies to all compilation_units included in a partition.
5
The implementation shall provide the following information for any compilation unit to which such a pragma applies:
6
7
8/2
9
10
11
12
13
14
15
16
The implementation shall provide the following information for any partition to which the pragma applies:
17
18
18.1
The implementation shall provide control− and data−flow information, both within each compilation unit and across the compilation units of the partition.
19
The implementation should provide the above information in both a human−readable and machine−readable form, and should document the latter so as to ease further processing by automated tools.
20
Object code listings should be provided both in a symbolic format and also in an appropriate numeric format (such as hexadecimal or octal).
NOTES
21
6 The order of elaboration of library units will be documented even in the absence of pragma Reviewable (see 10.2).