diff options
| author | Yannick Moy <moy@adacore.com> | 2013-04-24 14:14:27 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:14:27 +0200 |
| commit | 06b599fd62cccd693a395130dda53004f577714d (patch) | |
| tree | f76313f71e189c416d9d38234de0200ea66161d3 /gcc/ada/sem_prag.adb | |
| parent | 97c116dccd8c8839c3da8fc6b2c3664368dfa55b (diff) | |
| download | gcc-06b599fd62cccd693a395130dda53004f577714d.zip gcc-06b599fd62cccd693a395130dda53004f577714d.tar.gz gcc-06b599fd62cccd693a395130dda53004f577714d.tar.bz2 | |
adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.
2013-04-24 Yannick Moy <moy@adacore.com>
* adabkend.adb, ali-util.adb, ali.adb, debug.adb,
errout.adb, errout.ads, erroutc.adb, exp_ch3.adb, exp_ch4.adb,
exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_util.adb,
expander.adb, freeze.adb, gnat1drv.adb, lib-writ.adb,
lib-writ.ads, lib-xref.adb, lib-xref.ads, opt.adb, opt.ads,
restrict.adb, sem_aggr.adb, sem_attr.adb, sem_ch3.adb,
sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_eval.adb, sem_prag.adb,
sem_res.adb, sem_util.adb: Everything with name
'Alfa' renamed in 'SPARK'. Update comments.
Renaming of units with name 'Alfa', renamed with 'SPARK' instead.
* exp_alfa.adb: renamed exp_spark.adb.
* exp_alfa.ads: renamed exp_spark.ads.
* get_alfa.adb: renamed get_spark_xrefs.adb.
* get_alfa.ads: renamed get_spark_xrefs.ads.
* lib-xref-alfa.adb: renamed lib-xref-spark_specific.adb.
* put_alfa.adb: renamed put_spark_xrefs.adb.
* put_alfa.ads: renamed put_spark_xrefs.ads.
* alfa.adb: renamed spark_xrefs.adb.
* alfa.ads: renamed spark_xrefs.ads.
* alfa_test.adb: renamed spark_xrefs_test.adb.
From-SVN: r198234
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index c89ca84..f6ee332 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -3664,7 +3664,7 @@ package body Sem_Prag is -- In formal verification mode, analyze pragma expression for -- correctness, as it is not expanded later. - if Alfa_Mode then + if SPARK_Mode then Analyze_PPC_In_Decl_Part (N, Defining_Entity (Unit (Parent (Parent (N))))); end if; @@ -7389,11 +7389,11 @@ package body Sem_Prag is -- Start of processing for Process_Suppress_Unsuppress begin - -- Ignore pragma Suppress/Unsuppress in CodePeer and Alfa modes on + -- Ignore pragma Suppress/Unsuppress in CodePeer and SPARK modes on -- user code: we want to generate checks for analysis purposes, as -- set respectively by -gnatC and -gnatd.F - if (CodePeer_Mode or Alfa_Mode) and then Comes_From_Source (N) then + if (CodePeer_Mode or SPARK_Mode) and then Comes_From_Source (N) then return; end if; @@ -12602,11 +12602,11 @@ package body Sem_Prag is Check_Restriction (No_Initialize_Scalars, N); -- Initialize_Scalars creates false positives in CodePeer, and - -- incorrect negative results in Alfa mode, so ignore this pragma + -- incorrect negative results in SPARK mode, so ignore this pragma -- in these modes. if not Restriction_Active (No_Initialize_Scalars) - and then not (CodePeer_Mode or Alfa_Mode) + and then not (CodePeer_Mode or SPARK_Mode) then Init_Or_Norm_Scalars := True; Initialize_Scalars := True; @@ -12637,10 +12637,10 @@ package body Sem_Prag is when Pragma_Inline_Always => GNAT_Pragma; - -- Pragma always active unless in CodePeer or Alfa mode, since + -- Pragma always active unless in CodePeer or SPARK mode, since -- this causes walk order issues. - if not (CodePeer_Mode or Alfa_Mode) then + if not (CodePeer_Mode or SPARK_Mode) then Process_Inline (Enabled); end if; @@ -14305,10 +14305,10 @@ package body Sem_Prag is Check_Valid_Configuration_Pragma; -- Normalize_Scalars creates false positives in CodePeer, and - -- incorrect negative results in Alfa mode, so ignore this pragma + -- incorrect negative results in SPARK mode, so ignore this pragma -- in these modes. - if not (CodePeer_Mode or Alfa_Mode) then + if not (CodePeer_Mode or SPARK_Mode) then Normalize_Scalars := True; Init_Or_Norm_Scalars := True; end if; @@ -14760,7 +14760,7 @@ package body Sem_Prag is -- complex front-end expansions related to pragma Pack, -- so disable handling of pragma Pack in these cases. - if CodePeer_Mode or Alfa_Mode then + if CodePeer_Mode or SPARK_Mode then null; -- Don't attempt any packing for VM targets. We possibly |