1. 05 Dec, 2012 15 commits
    • gnat_rm.texi: Update overflow description. · 15c94a55
      2012-12-05  Robert Dewar  <dewar@adacore.com>
      
      	* gnat_rm.texi: Update overflow description. Pragma Overflow_Checks
      	changed to Overflow_Mode.
      
      2012-12-05  Robert Dewar  <dewar@adacore.com>
      
      	* checks.ads, exp_ch4.adb, gnat1drv.adb, par-prag.adb, sem_prag.adb,
      	snames.ads-tmpl, switch-c.adb, types.ads, checks.adb: Change pragma
      	Overflow_Checks to Overflow_Mode.
      	Separate overflow checking from overflow mode.
      	Several name changes to reflect this separation.
      	CHECKED mode is renamed STRICT mode.
      
      From-SVN: r194193
      Robert Dewar committed
    • re PR tree-optimization/51238 (ICE: SIGSEGV in find_uses_to_rename_use… · de0db391
      re PR tree-optimization/51238 (ICE: SIGSEGV in find_uses_to_rename_use (tree-ssa-loop-manip.c:1267) with -Os -ftree-loop-distribution)
      
      2012-12-05  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/51238
      	* gcc.dg/torture/pr51238.c: New testcase.
      
      From-SVN: r194192
      Richard Biener committed
    • [multiple changes] · ceee0bde
      2012-12-05  Yannick Moy  <moy@adacore.com>
      
      	* gnat1drv.adb (Adjust_Global_Switches): Move setting of flags for
      	Alfa mode before general treatment of flags, so that overflow checks
      	settings are set appropriately in Alfa mode. Also set the mode to
      	STRICT in Alfa mode if not already set by the user.
      
      2012-12-05  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch3.adb: Minor reformatting.
      
      2012-12-05  Steve Baird  <baird@adacore.com>
      
      	* sinfo.ads: Improve comments about SCIL-related node kinds and selector
      	functions.
      
      2012-12-05  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch10.adb (Build_Limited_Views): Even though the unit is
      	not analyzed, place its entity on the name in the with clause,
      	so that warnings on unused with-clause are properly supported
      	for limited withs.
      
      2012-12-05  Robert Dewar  <dewar@adacore.com>
      
      	* gnat_ugn.texi: Update overflow description. Pragma
      	Overflow_Checks changed to Overflow_Mode.
      
      From-SVN: r194191
      Arnaud Charlet committed
    • [multiple changes] · 97948f41
      2012-12-05  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (Build_Derived_Private_Type): Handle properly a
      	completion in a grand-child unit when the parent type is itself
      	a private type in a child unit whose full view is itself a
      	derivation from a private type.
      
      2012-12-05  Gary Dismukes  <dismukes@adacore.com>
      
      	* exp_attr.adb (Expand_N_Attribute_Reference, case
      	Attribute_Valid): Remove code for issuing warning on Valid within
      	a predicate. Moved to Sem_Attr.  Remove with and use of Errout.
      	* sem_attr.adb (Analyze_Attribute, case Attribute_Valid):
      	Test for prefix's subtype having a predicate and issue warning
      	about infinite recursion if Valid occurs within the subtype's
      	predicate. Warning moved here from Exp_Attr.
      
      2012-12-05  Yannick Moy  <moy@adacore.com>
      
      	* debug.adb: Minor comment addition.
      
      2012-12-05  Yannick Moy  <moy@adacore.com>
      
      	* gnat1drv.adb (Adjust_Global_Switches): In CodePeer mode, check
      	overflows by default, even when the user suppresses overflow checks.
      
      From-SVN: r194190
      Arnaud Charlet committed
    • [multiple changes] · 739e7bbf
      2012-12-05  Thomas Quinot  <quinot@adacore.com>
      
      	* err_vars.ads: Fix minor typo in comment.
      
      2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* sem_attr.adb (Analyze_Attribute): Do not analyze the attribute
      	arguments when processing Loop_Entry. Rewrite the analysis of
      	attribute Loop_Entry to handle an optional loop name.
      	(Convert_To_Indexed_Component): New routine.
      	(Eval_Attribute): Remove ??? comment and explain
      	why Loop_Entry does not need to be evaluated.
      
      From-SVN: r194189
      Arnaud Charlet committed
    • re PR tree-optimization/50222 (ICE with -O{1,2} -funswitch-loops -ftree-loop-distribution) · 698ef65e
      2012-12-05  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/50222
      	* gcc.dg/torture/pr50222.c: New testcase.
      
      From-SVN: r194188
      Richard Biener committed
    • passes.c (pass_init_dump_file): Only open a clean graph dump file if the dump… · 68fbd81b
      passes.c (pass_init_dump_file): Only open a clean graph dump file if the dump was not already initialized.
      
      	* passes.c (pass_init_dump_file): Only open a clean graph dump file if
      	the dump was not already initialized.
      
      	Revert:
      	2012-12-03  Steven Bosscher  <steven@gcc.gnu.org>
      	* passes.c (finish_optimization_passes): Don't finish graph dumps here.
      	(pass_fini_dump_file): Wrap in TV_DUMP.  Finish graph dumps.
      	(execute_one_pass): Don't set up graph dumps here.
      
      From-SVN: r194186
      Steven Bosscher committed
    • syscall: Fix splice syscall. · 03a6c305
      From-SVN: r194185
      Ian Lance Taylor committed
    • re PR lto/55525 (ICE: tree check: expected array_type, have pointer_type in… · 08d8c745
      re PR lto/55525 (ICE: tree check: expected array_type, have pointer_type in array_ref_low_bound, at expr.c:6768)
      
      2012-12-05  Richard Biener  <rguenther@suse.de>
      
      	PR lto/55525
      	* gimple-streamer-in.c (input_gimple_stmt): Fixup ARRAY_REFs as well.
      
      	* gcc.dg/lto/pr55525_0.c: New testcase.
      	* gcc.dg/lto/pr55525_1.c: Likewise.
      
      From-SVN: r194183
      Richard Biener committed
    • validate_failures.py: also ignore .git · 7fb1e592
      2012-12-01  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>
      
      	* testsuite-management/validate_failures.py
      	(IsInterestingResult): Only strip line a second time if we did split.
      	Rephrase return statement while at it.
      	(CollectSumFiles): Also ignore .git directory.
      
      From-SVN: r194182
      Bernhard Reutner-Fischer committed
    • godump.c (find_dummy_types): Output a dummy type if we couldn't output the real type. · 3eb9e389
      	* godump.c (find_dummy_types): Output a dummy type if we couldn't
      	output the real type.
      
      From-SVN: r194181
      Ian Lance Taylor committed
    • compiler: Make sure we produce an error for a call to a non-function. · d59a4c82
      Fixes issue 19.
      
      From-SVN: r194174
      Ian Lance Taylor committed
    • Daily bump. · e9bfc606
      From-SVN: r194172
      GCC Administrator committed
  2. 04 Dec, 2012 25 commits