From 75e4e36dfe12f78efa61c071caf95ba9d5f4f722 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 6 Jul 2016 14:34:52 +0200 Subject: [multiple changes] 2016-07-06 Hristian Kirtchev * exp_attr.adb, sem_attr.adb, sem_ch13.adb: Minor reformatting. 2016-07-06 Arnaud Charlet * 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 * 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 --- gcc/ada/gnatbind.adb | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'gcc/ada/gnatbind.adb') 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 -- cgit v1.1