diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 08:00:05 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 08:00:05 +0000 |
| commit | 55387e86c3d06c4b8451e1b1738708e819d5bc17 (patch) | |
| tree | 4541d55206ad7bc88376f6ecb54e971ea03dbf08 /gcc/ada/back_end.adb | |
| parent | fd71e467be895e8334c36f5a33b5e15464a6674e (diff) | |
| download | gcc-55387e86c3d06c4b8451e1b1738708e819d5bc17.tar.gz | |
2014-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting.
2014-08-04 Olivier Hainque <hainque@adacore.com>
* link.c: remove const on __gnat_objlist_file_supported for AIX
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem_util.ads: Minor addition of comment.
2014-08-04 Vincent Celier <celier@adacore.com>
* prj-dect.adb (Check_Package_Allowed): Allow package IDE in
all projects, including aggregate and aggregate library projects.
2014-08-04 Yannick Moy <moy@adacore.com>
* back_end.adb (Call_Back_End): Do not call gigi in GNATprove mode.
2014-08-04 Robert Dewar <dewar@adacore.com>
* sem_eval.adb (Test_In_Range): Always in range for
Is_Known_Valid target type, where input type has smaller or
equal size and does not have biased rep.
2014-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Eval_Attribute): Constrained is not treated as
a static attribute, and the Static flag must not be set on it
during resolution. It may be constant-folded during expansion,
but if expansion is disabled it is not a static expression.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213535 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/back_end.adb')
| -rw-r--r-- | gcc/ada/back_end.adb | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ada/back_end.adb b/gcc/ada/back_end.adb index 1d5de114e24..3e535547db6 100644 --- a/gcc/ada/back_end.adb +++ b/gcc/ada/back_end.adb @@ -126,7 +126,8 @@ package body Back_End is Nat (Physical_To_Logical (Last_Source_Line (J), J)); end loop; - -- Deal with case of generating SCIL, we should not be here! + -- Deal with case of generating SCIL, we should not be here unless + -- debugging CodePeer mode in GNAT. if Generate_SCIL then Error_Msg_N ("'S'C'I'L generation not available", Cunit (Main_Unit)); @@ -139,6 +140,14 @@ package body Back_End is end if; end if; + -- We should be here in GNATprove mode only when debugging GNAT. Do not + -- call gigi in that case, as it is not prepared to handle the special + -- form of the tree obtained in GNATprove mode. + + if GNATprove_Mode then + return; + end if; + -- The actual call to the back end gigi |