diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-18 11:37:41 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-18 11:37:41 +0200 |
commit | 783d035ba7b56cde1b862ee9f276a3af1e35a1d1 (patch) | |
tree | dc09aded07caf72dce6d4164140933bc2b1b767b /gcc/ada/switch-c.adb | |
parent | 39678b1cce476a8a661ff58632a2d3c74ceb2bd9 (diff) | |
download | gcc-783d035ba7b56cde1b862ee9f276a3af1e35a1d1.zip gcc-783d035ba7b56cde1b862ee9f276a3af1e35a1d1.tar.gz gcc-783d035ba7b56cde1b862ee9f276a3af1e35a1d1.tar.bz2 |
[multiple changes]
2014-07-18 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Remove note that -gnatR not allowed with -gnatc.
* switch-c.adb: Remove prohibition of -gnatR and -gnatc together.
2014-07-18 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch13.adb (Kill_Rep_Clause): Clear Comes_From_Source flag
on the null statement.
2014-07-18 Thomas Quinot <quinot@adacore.com>
* adaint.c: Minor comment rewording.
* socket.c: Define macros _REENTRANT and _THREAD_SAFE so that
use of errno in this file is thread safe.
From-SVN: r212791
Diffstat (limited to 'gcc/ada/switch-c.adb')
-rw-r--r-- | gcc/ada/switch-c.adb | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index e2f7c2e..04a6fa1 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -310,15 +310,6 @@ package body Switch.C is ("-gnatc must be first if combined with other switches"); end if; - -- Not allowed if previous -gnatR given - - if List_Representation_Info /= 0 - or else List_Representation_Info_Mechanisms - then - Osint.Fail - ("-gnatc not allowed since -gnatR given previously"); - end if; - Ptr := Ptr + 1; Operating_Mode := Check_Semantics; @@ -1057,14 +1048,6 @@ package body Switch.C is ("-gnatR not permitted since -gnatD given previously"); end if; - -- Not allowed if previous -gnatc was given, since we must - -- call the code generator to determine rep information. - - if Operating_Mode = Check_Semantics then - Osint.Fail - ("-gnatR not permitted since -gnatc given previously"); - end if; - -- Set to annotate rep info, and set default -gnatR mode Back_Annotate_Rep_Info := True; |