diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-31 10:43:42 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-31 10:43:42 +0200 |
| commit | 56812278e832fe969c443ca1835863f974e4b9d2 (patch) | |
| tree | 61b9423513f189f83c625631b581033c832eb05c /gcc/ada/opt.ads | |
| parent | 7cda9727babdc93f846191782dcc4c0cdba25d26 (diff) | |
| download | gcc-56812278e832fe969c443ca1835863f974e4b9d2.tar.gz | |
[multiple changes]
2011-08-31 Jose Ruiz <ruiz@adacore.com>
* s-taprop-linux.adb (Set_Task_Affinity): Avoid the use of anonymous
access types.
* affinity.c (__gnat_set_affinity_mask): Declare index variable.
2011-08-31 Yannick Moy <moy@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): Refine expander test in
full-expander test.
Minor reformatting, renaming ALFA in Alfa (we dropped acronym)
* einfo.adb (Primitive_Operations): Correctly return list of primitive
operations in a case where it returned previously No_Elist.
From-SVN: r178358
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index d50f77b6ac7..d2874d4ad49 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1872,14 +1872,14 @@ package Opt is -- Modes for Formal Verification -- ----------------------------------- - ALFA_Mode : Boolean := False; + Alfa_Mode : Boolean := False; -- Specific compiling mode targeting formal verification through the -- generation of Why code for those parts of the input code that belong to - -- the ALFA subset of Ada. Set by debug flag -gnatd.F. + -- the Alfa subset of Ada. Set by debug flag -gnatd.F. function Full_Expander_Active return Boolean; pragma Inline (Full_Expander_Active); - -- Returns the value of (Expander_Active and not ALFA_Mode). This "flag" + -- Returns the value of (Expander_Active and not Alfa_Mode). This "flag" -- indicates that expansion is fully active, that is, not in the reduced -- mode for Alfa (True) or that expansion is either deactivated, or active -- in the reduced mode for Alfa (False). For more information on full |