diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 13:27:37 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 13:27:37 +0000 |
| commit | 12bbfd83b12c7de41a43221efef8cdbd9668353d (patch) | |
| tree | 5b43babbc2f203ca0fd5adddf4678813af119c38 /gcc/ada/gnat1drv.adb | |
| parent | 9663760b4ea36fd87161cae28a0c27b62987a420 (diff) | |
| download | gcc-12bbfd83b12c7de41a43221efef8cdbd9668353d.tar.gz | |
2011-08-29 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma): Allow Test_Case pragma without
Requires/Ensures.
* sem_util.adb (Get_Ensures_From_Test_Case_Pragma,
Get_Requires_From_Test_Case_Pragma): Allow Test_Case pragma without
Requires/Ensures.
2011-08-29 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Improve previous change.
Add comment.
2011-08-29 Thomas Quinot <quinot@adacore.com>
* sem_res.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178224 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 56195330773..6c1292e7b70 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -351,10 +351,9 @@ procedure Gnat1drv is if Debug_Flag_Dot_XX then Use_Expression_With_Actions := True; - -- Debug flag -gnatd.Y and -gnatd.F (Alfa Mode) decisively set usage - -- off + -- Debug flag -gnatd.Y decisively set usage off - elsif Debug_Flag_Dot_YY or Debug_Flag_Dot_FF then + elsif Debug_Flag_Dot_YY then Use_Expression_With_Actions := False; -- Otherwise this feature is implemented, so we allow its use @@ -445,6 +444,17 @@ procedure Gnat1drv is Debug_Flag_HH := True; + -- Disable Expressions_With_Actions nodes + -- The gnat2why backend does not deal with Expressions_With_Actions + -- in all places (in particular assertions). It is difficult to + -- determine in the frontend which cases are allowed, so we disable + -- Expressions_With_Actions entirely. Even in the cases where + -- gnat2why deals with Expressions_With_Actions, it is easier to + -- deal with the original constructs (quantified, conditional and + -- case expressions) instead of the rewritten ones. + + Use_Expression_With_Actions := False; + -- Enable assertions and debug pragmas, since they give valuable -- extra information for formal verification. |