diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-06 14:34:52 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-06 14:34:52 +0200 |
| commit | 75e4e36dfe12f78efa61c071caf95ba9d5f4f722 (patch) | |
| tree | 1fb80ec7768e44a4088bfa55b4f75502ccd10a0d /gcc/ada/gnatbind.adb | |
| parent | 1956beb8aa91181d614441e943a76fa7f7d8d51c (diff) | |
| download | gcc-75e4e36dfe12f78efa61c071caf95ba9d5f4f722.zip gcc-75e4e36dfe12f78efa61c071caf95ba9d5f4f722.tar.gz gcc-75e4e36dfe12f78efa61c071caf95ba9d5f4f722.tar.bz2 | |
[multiple changes]
2016-07-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_attr.adb, sem_attr.adb, sem_ch13.adb: Minor reformatting.
2016-07-06 Arnaud Charlet <charlet@adacore.com>
* lib.adb (Check_Same_Extended_Unit): Prevent looping forever.
* gnatbind.adb: Disable some consistency checks in codepeer mode,
which are not needed.
2016-07-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Check_Fixed_Point_Actual): Add a warning when
a formal fixed point type is instantiated with a type that has
a user-defined arithmetic operations, but the generic has no
corresponding formal functions. This is worth a warning because
of the special semantics of fixed-point operators.
From-SVN: r238043
Diffstat (limited to 'gcc/ada/gnatbind.adb')
| -rw-r--r-- | gcc/ada/gnatbind.adb | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index 85f6707..5135377 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -855,12 +855,15 @@ begin end; end if; - -- Perform consistency and correctness checks - - Check_Duplicated_Subunits; - Check_Versions; - Check_Consistency; - Check_Configuration_Consistency; + -- Perform consistency and correctness checks. Disable these in CodePeer + -- mode where we want to be more flexible. + + if not CodePeer_Mode then + Check_Duplicated_Subunits; + Check_Versions; + Check_Consistency; + Check_Configuration_Consistency; + end if; -- List restrictions that could be applied to this partition |