From 3f165ff29a1aec939b43a498b1899b21bc50366b Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 16 Jun 2010 18:22:44 +0200 Subject: [multiple changes] 2010-06-16 Javier Miranda * exp_disp.adb (Expand_Dispatching_Call): Adjust the decoration of the node referenced by the SCIL node of dispatching "=" to skip the tags comparison. 2010-06-16 Ed Schonberg * sem_ch5.adb (Analyze_Exit_Statement): Return if no enclosing loop, to prevent cascaded errors and compilation aborts. 2010-06-16 Robert Dewar * back_end.adb (Switch_Subsequently_Cancelled): New function Move declarations to package body level to support this change * back_end.ads (Switch_Subsequently_Cancelled): New function * gnat_ugn.texi: Document -gnat-p switch * switch-c.adb (Scan_Front_End_Switches): Implement -gnat-p switch * ug_words: Add entry for -gnat-p (UNSUPPRESS_ALL) * usage.adb: Add line for -gnat-p switch * vms_data.ads: Add entry for UNSUPPRESS_ALL (-gnat-p) 2010-06-16 Robert Dewar * sem_warn.adb (Check_Infinite_Loop_Warning): Declaration counts as modification. From-SVN: r160847 --- gcc/ada/back_end.ads | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'gcc/ada/back_end.ads') diff --git a/gcc/ada/back_end.ads b/gcc/ada/back_end.ads index 19144a1..a9108f5 100644 --- a/gcc/ada/back_end.ads +++ b/gcc/ada/back_end.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2010, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -61,4 +61,11 @@ package Back_End is -- Any processed switches that influence the result of a compilation must -- be added to the Compilation_Arguments table. + function Switch_Subsequently_Cancelled (C : String) return Boolean; + -- This function is called from Scan_Front_End_Switches. It determines if + -- the switch currently being scanned is followed by a switch of the form + -- "-gnat-" & C, where C is the argument. If so, then True is returned, + -- and Scan_Front_End_Switches will cancel the effect of the switch. If + -- no such switch is found, False is returned. + end Back_End; -- cgit v1.1