diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-31 08:43:42 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-31 08:43:42 +0000 |
| commit | f84c0da6b775eba9eb8d79fadce24169cf11f1f3 (patch) | |
| tree | 61b9423513f189f83c625631b581033c832eb05c /gcc/ada/gnat1drv.adb | |
| parent | 83a0ab2a2fd2930fe97279844d6999d51a8b0d94 (diff) | |
| download | gcc-f84c0da6b775eba9eb8d79fadce24169cf11f1f3.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178358 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index b538f4bc82e..3c2b5f4df98 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -390,7 +390,7 @@ procedure Gnat1drv is if Debug_Flag_Dot_FF then - ALFA_Mode := True; + Alfa_Mode := True; -- Turn off inlining, which would confuse formal verification output -- and gain nothing. @@ -406,7 +406,7 @@ procedure Gnat1drv is -- Enable some restrictions systematically to simplify the generated -- code (and ease analysis). Note that restriction checks are also - -- disabled in ALFA mode, see Restrict.Check_Restriction, and user + -- disabled in Alfa mode, see Restrict.Check_Restriction, and user -- specified Restrictions pragmas are ignored, see -- Sem_Prag.Process_Restrictions_Or_Restriction_Warnings. @@ -436,7 +436,7 @@ procedure Gnat1drv is Polling_Required := False; -- Set operating mode to Generate_Code, but full front-end expansion - -- is not desirable in ALFA mode, so a light expansion is performed + -- is not desirable in Alfa mode, so a light expansion is performed -- instead. Operating_Mode := Generate_Code; @@ -464,7 +464,7 @@ procedure Gnat1drv is Debug_Pragmas_Enabled := True; -- Turn off style check options since we are not interested in any - -- front-end warnings when we are getting ALFA output. + -- front-end warnings when we are getting Alfa output. Reset_Style_Check_Options; |