diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 08:33:14 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 08:33:14 +0000 |
| commit | 9d747a29123d3158418c9eebe80ec813b7a9229d (patch) | |
| tree | f671819f963fa7db71bf6e46d56d973827d28ea3 /gcc/ada/einfo.ads | |
| parent | 728d945b778441389b88d643cf12e79e32b226cc (diff) | |
| download | ppe42-gcc-9d747a29123d3158418c9eebe80ec813b7a9229d.tar.gz ppe42-gcc-9d747a29123d3158418c9eebe80ec813b7a9229d.zip | |
2011-08-04 Thomas Quinot <quinot@adacore.com>
* s-pooloc.ads, s-pooglo.ads: Minor reformatting
2011-08-04 Robert Dewar <dewar@adacore.com>
* einfo.ads, exp_ch4.adb: Minor reformatting.
2011-08-04 Jerome Lambourg <lambourg@adacore.com>
* back_end.ads (Gen_Or_Update_Object_File): Add more comments.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177333 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 10f7c78f30d..84fd79d3657 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -1273,8 +1273,9 @@ package Einfo is -- the floating-point representation to be used. -- Formal_Proof_On (Flag254) --- Present in subprogram entities. Set for subprograms whose body --- contains an Annotate pragma which forces formal proof on this body. +-- Present in subprogram and generic subprogram entities. Set on for +-- subprograms whose body contains an Annotate pragma which forces formal +-- proof on this body. -- Freeze_Node (Node7) -- Present in all entities. If there is an associated freeze node for @@ -5249,6 +5250,7 @@ package Einfo is -- Delay_Cleanups (Flag114) -- Delay_Subprogram_Descriptors (Flag50) -- Discard_Names (Flag88) + -- Formal_Proof_On (Flag254) -- Has_Completion (Flag26) -- Has_Controlling_Result (Flag98) -- Has_Invariants (Flag232) @@ -5395,6 +5397,7 @@ package Einfo is -- Is_Primitive (Flag218) -- Is_Thunk (Flag225) -- Default_Expressions_Processed (Flag108) + -- Formal_Proof_On (Flag254) -- Aren't there more flags and fields? seems like this list should be -- more similar to the E_Function list, which is much longer ??? @@ -5515,6 +5518,7 @@ package Einfo is -- Delay_Cleanups (Flag114) -- Delay_Subprogram_Descriptors (Flag50) -- Discard_Names (Flag88) + -- Formal_Proof_On (Flag254) -- Has_Completion (Flag26) -- Has_Invariants (Flag232) -- Has_Master_Entity (Flag21) |
