Next: , Previous: H.3, Up: H.3


H.3.1 Pragma Reviewable

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.

Syntax

2

The form of a pragma Reviewable is as follows:

3

  pragma Reviewable;
Post-Compilation Rules

4
Pragma Reviewable is a configuration pragma. It applies to all compilation_units included in a partition.

Implementation Requirements

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.

Implementation Advice

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

 The order of elaboration of library units will be documented even in the absence of pragma Reviewable (see 10.2).