From 9cbfc2691360fab71388538043badc3dc8c6963c Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 17 Jun 2010 18:04:52 +0200 Subject: [multiple changes] 2010-06-17 Ed Schonberg * sem_util.adb (Is_Atomic_Object): Predicate does not apply to subprograms. 2010-06-17 Robert Dewar * gnat_rm.texi, gnat_ugn.texi: Clean up documentation on warning and style check messages. * sem_res.adb (Resolve_Call): Don't call Check_For_Eliminated_Subprogram if we are analyzing within a spec expression. 2010-06-17 Robert Dewar * debug.adb: Add documentation for debug flags .X and .Y * exp_ch4.adb (Expand_Short_Circuit_Operator): Use Use_Expression_With_Actions. * gnat1drv.adb (Adjust_Global_Switches): Set Use_Expression_With_Actions. * opt.ads (Use_Expression_With_Actions): New switch. From-SVN: r160931 --- gcc/ada/debug.adb | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) (limited to 'gcc/ada/debug.adb') diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 529fb33..ac8ed4a 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2009, 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- -- @@ -141,8 +141,8 @@ package body Debug is -- d.U -- d.V -- d.W Print out debugging information for Walk_Library_Items - -- d.X Use Expression_With_Actions for short-circuited forms - -- d.Y + -- d.X Use Expression_With_Actions + -- d.Y Do not use Expression_With_Actions -- d.Z -- d1 Error msgs have node numbers where possible @@ -581,10 +581,15 @@ package body Debug is -- d.X By default, the compiler uses an elaborate rewriting framework for -- short-circuited forms where the right hand condition generates - -- actions to be inserted. Use of this switch causes the compiler to - -- use the much simpler Expression_With_Actions node for this purpose. - -- It is a debug flag to aid transitional implementation in gigi and - -- the back end. As soon as that works fine, we will remove this flag. + -- actions to be inserted. With the gcc backend, we now use the new + -- N_Expression_With_Actions node for this expansion, but we still use + -- the old method for other backends and in SCIL mode. This debug flag + -- forces use of the new N_Expression_With_Actions node in these other + -- cases and is intended for transitional use. + + -- d.Y Prevents the use of the N_Expression_With_Actions node even in the + -- case of the gcc back end. Provided as a back up in case the new + -- scheme has problems. -- d1 Error messages have node numbers where possible. Normally error -- messages have only source locations. This option is useful when -- cgit v1.1