From aff557c74c4bff664d8b65d68444a5e2b57bd048 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 12 Nov 2015 14:25:40 +0100 Subject: [multiple changes] 2015-11-12 Bob Duff * impunit.adb, lib-xref.ads, restrict.ads, scos.ads, sem_attr.ads, types.ads: Get rid of some global variables. * output.adb, output.ads: Move some global variables to the body. 2015-11-12 Yannick Moy * lib-xref-spark_specific.adb (Is_Constant_Object_Without_Variable_Input): Add special case for imported constants. 2015-11-12 Philippe Gil * g-debpoo.adb (Allocate): Avoid having allocations not handled. 2015-11-12 Ed Schonberg * checks.adb (Apply_Scalar_Range_Check): If the expression is a real literal and the context type has static bounds, remove range check when possible. 2015-11-12 Ed Schonberg * sem_util.adb (Collect_Primitive_Operations): If the type is derived from a type declared elsewhere that has an incomplete type declaration, the primitives are found in the scope of the type nat that of its ancestor. 2015-11-12 Arnaud Charlet * switch-c.adb, debug.adb, osint-c.adb, gnat1drv.adb: Remove -gnatd.V debug switch. * exp_aggr.adb, exp_util.adb: Fix typos. 2015-11-12 Jerome Lambourg * init.c: Properly adjust PC values in case of signals. 2015-11-12 Bob Duff * sem_prag.adb (Check_Arg_Is_Library_Level_Local_Name): A pragma that comes from an aspect does not "come from source", so we need to test whether it comes from an aspect. From-SVN: r230253 --- gcc/ada/osint-c.adb | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'gcc/ada/osint-c.adb') diff --git a/gcc/ada/osint-c.adb b/gcc/ada/osint-c.adb index dcbace2..a24a5a7 100644 --- a/gcc/ada/osint-c.adb +++ b/gcc/ada/osint-c.adb @@ -446,7 +446,10 @@ package body Osint.C is if NL <= EL or else (Name (NL - EL + Name'First .. Name'Last) /= Ext - and then Name (NL - 2 + Name'First .. Name'Last) /= ".o") + and then Name (NL - 2 + Name'First .. Name'Last) /= ".o" + and then + (not Generate_C_Code + or else Name (NL - 2 + Name'First .. Name'Last) /= ".c")) then Fail ("incorrect object file extension"); end if; -- cgit v1.1