[multiple changes]

2010-11-29  Zdenek Dvorak  <rakdver@kam.uniff.cz>

	PR tree-optimization/46675
	* tree-ssa-loop-niter.c (split_to_var_and_offset): Avoid overflow
	in offset calculation.

testsuite/ChangeLog:

2010-11-29  Richard Guenther  <rguenther@suse.de>
	    Zdenek Dvorak  <rakdver@kam.uniff.cz>

	PR tree-optimization/46675
	* gcc.dg/pr46675.c: New test.

From-SVN: r167256

gcc/ChangeLog

@@ -1,6 +1,13 @@
+2010-11-29  Zdenek Dvorak  <rakdver@kam.uniff.cz>
+
+	PR tree-optimization/46675
+	* tree-ssa-loop-niter.c (split_to_var_and_offset): Avoid overflow
+	in offset calculation.
+
 2010-11-29  Jan Hubicka  <jh@suse.cz>
 
-	* collect2.c (main): Do not imply verbose output with LTO and linker plugin.
+	* collect2.c (main): Do not imply verbose output with
+	LTO and linker plugin.
 
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 
@@ -78,8 +85,7 @@
 2010-11-29  Joseph Myers  <joseph@codesourcery.com>
 
 	* system.h: Include "safe-ctype.h" instead of <safe-ctype.h>.
-	Include <signal.h>, <sys/mman.h>, <sys/resource.h> and
+	Include <signal.h>, <sys/mman.h>, <sys/resource.h> and <sys/times.h>.
-	<sys/times.h>.
 	(O_BINARY, SIGCHLD, MAP_FAILED, MAP_ANONYMOUS, kill):
 	Conditionally define.
 	(GET_ENVIRONMENT): Poison.
@@ -111,8 +117,7 @@
 	* config/microblaze/microblaze.c: Don't include <signal.h>.
 	* config/mips/mips.c: Don't include <signal.h>.
 	* config/rs6000/host-darwin.c: Don't include <signal.h>.
-	* cppdefault.c (cpp_relocated): Use getenv instead of
+	* cppdefault.c (cpp_relocated): Use getenv instead of GET_ENVIRONMENT.
-	GET_ENVIRONMENT.
 	* defaults.h (GET_ENVIRONMENT): Don't define.
 	* et-forest.h: Don't include <ansidecl.h> or <stddef.h>.
 	* gcc.c: Don't include <signal.h>, <sys/mman.h> or <sys/types.h>.
@@ -127,10 +132,8 @@
 	* ggc-zone.c: Don't include <sys/mman.h>.
 	(MAP_ANONYMOUS, MAP_FAILED): Don't define.
 	* graph.c: Include "config.h" instead of <config.h>.
-	* incpath.c (add_env_var_paths): Use getenv instead of
+	* incpath.c (add_env_var_paths): Use getenv instead of GET_ENVIRONMENT.
-	GET_ENVIRONMENT.
+	* lto-wrapper.c: Don't include <errno.h>, <signal.h> or "libiberty.h".
-	* lto-wrapper.c: Don't include <errno.h>, <signal.h> or
-	"libiberty.h".
 	(SIGCHLD, kill): Don't define.
 	* mips-tfile.c: Don't include <signal.h>.
 	* opts.c: Don't include <signal.h> or <sys/resource.h>.

gcc/testsuite/ChangeLog

@@ -1,3 +1,9 @@
+2010-11-29  Richard Guenther  <rguenther@suse.de>
+	    Zdenek Dvorak  <rakdver@kam.uniff.cz>
+
+	PR tree-optimization/46675
+	* gcc.dg/pr46675.c: New test.
+
 2010-11-29  Iain Sandoe  <iains@gcc.gnu.org>
 
 	* gcc/testsuite/objc.dg/strings-1.m: Move to...
@@ -15,14 +21,15 @@
 
 	PR c++/42260
 	* g++.dg/conversion/cast2.C: New test.
-	* g++.dg/conversion/cond4/C: Likewise. This ensures we don't regress on
+
 	PR c++/45383
+	* g++.dg/conversion/cond4.C: Likewise.
 
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 
 	PR c++/45383
 	Reverted patch for PR c++/42260
-	* conversion/cast2.C: Reverted new test.
+	* g++.dg/conversion/cast2.C: Reverted new test.
 
 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
 

gcc/testsuite/gcc.dg/pr46675.c

@@ -0,0 +1,29 @@
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+
+extern void abort (void);
+
+int j;
+
+void
+__attribute__((noinline))
+foo (int n)
+{
+  int npairs, i;
+  npairs = n - (-__INT_MAX__ - 1);
+
+  if (npairs > 0)
+    for (i = 0; i < npairs; i++)
+      j++;
+}
+
+int
+main ()
+{
+  foo (5 - __INT_MAX__ - 1);
+
+  if (j != 5)
+    abort ();
+
+  return 0;
+}

gcc/tree-ssa-loop-niter.c

@@ -95,10 +95,10 @@ split_to_var_and_offset (tree expr, tree *var, mpz_t offset)
       *var = op0;
       /* Always sign extend the offset.  */
       off = tree_to_double_int (op1);
-      if (negate)
-	off = double_int_neg (off);
       off = double_int_sext (off, TYPE_PRECISION (type));
       mpz_set_double_int (offset, off, false);
+      if (negate)
+	mpz_neg (offset, offset);
       break;
 
     case INTEGER_CST: