2012-04-13 Richard Guenther <rguenther@suse.de>

	PR c/52862
	* convert.c (convert_to_pointer): Remove special-casing of
	zero.

	* gcc.dg/pr52862.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@186409 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 62e8e9d..67b638e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-04-13  Richard Guenther  <rguenther@suse.de>
+
+       PR c/52862
+       * convert.c (convert_to_pointer): Remove special-casing of
+       zero.
+

 2012-04-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        Backport from mainline
 2012-04-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        Backport from mainline

diff --git a/gcc/convert.c b/gcc/convert.c
index dbe2c7e..e3cfaf0 100644 (file)
--- a/gcc/convert.c
+++ b/gcc/convert.c
@@ -44,11 +44,6 @@ convert_to_pointer (tree type, tree expr)
   if (TREE_TYPE (expr) == type)
     return expr;
 
   if (TREE_TYPE (expr) == type)
     return expr;
 

-  /* Propagate overflow to the NULL pointer.  */
-  if (integer_zerop (expr))
-    return force_fit_type_double (type, double_int_zero, 0,
-                                 TREE_OVERFLOW (expr));
-

   switch (TREE_CODE (TREE_TYPE (expr)))
     {
     case POINTER_TYPE:
   switch (TREE_CODE (TREE_TYPE (expr)))
     {
     case POINTER_TYPE:

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1bb8439..865e676 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-04-13  Richard Guenther  <rguenther@suse.de>
+
+       PR c/52862
+       * gcc.dg/pr52862.c: New testcase.
+

 2012-04-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        Backport from mainline
 2012-04-12  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        Backport from mainline

diff --git a/gcc/testsuite/gcc.dg/pr52862.c b/gcc/testsuite/gcc.dg/pr52862.c
new file mode 100644 (file)
index 0000000..febe7a8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr52862.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-O" } */
+
+void ASMAtomicWritePtrVoid(const void *pv);
+void rtThreadDestroy(void)
+{
+  void * const pvTypeChecked = ((void *)0);
+  ASMAtomicWritePtrVoid((void *)(pvTypeChecked));
+}