[Bug c/36172] New: ice for legal code with -O3

[Bug c/36172] New: ice for legal code with -O3

[dcb314 at hotmail dot com]

I just tried to compile the Suse Linux package
fontconfig-2.4.2-83 with the GNU C compiler  
version 4.4 snapshot 20080502

The compiler said

fccharset.c:1174: internal compiler error: in compare_values_warnv, at
tree-vrp.c:892
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O3 required.


-- 
           Summary: ice for legal code with -O3
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug c/36172] ice for legal code with -O3

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2008-05-07 17:10 -------
Created an attachment (id=15591)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15591&action=view)
C source code


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ice for legal code with -O3 |[4.4 Regression] ice for
                   |                            |legal code with -O3
   Target Milestone|---                         |4.4.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-05-07 19:58 -------
This worked with 20080325.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-05-07 20:00 -------
  gcc_assert (POINTER_TYPE_P (TREE_TYPE (val1))
              == POINTER_TYPE_P (TREE_TYPE (val2)));

:)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-05-07 20:08 -------
Reducing.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-05-07 20:30 -------
  # prephitmp.1564_417 = PHI <prephitmp.1561_268(20), pretmp.1563_427(4)>


  long unsigned int pretmp.1563;


prephitmp.1561 is a pointer.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-05-07 20:45 -------
Created an attachment (id=15614)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15614&action=view)
somehwat reduced testcase

It's probably PPRE that messes up (-O3 -fno-tree-pre is fine, -O2
-finline-functions as well).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2008-05-07 21:10 -------
Better reduced testcase:
typedef unsigned long int uintptr_t;
typedef struct _FcCharLeaf { } FcCharLeaf;
struct _FcCharLeafEnt {
  unsigned int hash;
  int leaf;
};
struct _FcCharSetFreezer
{
  int orig_hash_table[67];
};
struct _FcCharLeafEnt *ent;
int a, f(FcCharLeaf * );
void FcCharSetFreeze (struct _FcCharSetFreezer *freezer, int *fcs)
{
  int i;
  for (i = 0;  i < *fcs;  i++)
  {
    FcCharLeaf *leaf = (FcCharLeaf *)fcs;
    unsigned int hash = f (leaf);
    if (ent->hash == hash)
      a = ent->leaf;
    if (!a)
      return;
  }
  freezer->orig_hash_table[((uintptr_t) fcs) & 67] = 0;
}


PRE is creating the mismatched PHI nodes.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-05-07 21:10:58
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2008-05-07 21:37 -------
More reduced:

int f(float * );
__SIZE_TYPE__ FcCharSetFreeze (int *fcs, int b)
{
  int i;
  int a = 0;
  for (i = 0; i < *fcs; i++)
  {
    float *leaf = (float *)fcs;
    int hash = f (leaf);
    if (hash)
      a = b;
    if (!a)
      return;
  }
  return (__SIZE_TYPE__) fcs;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2008-05-07 21:47 -------
PA_IN/OUT computes different for s/(unsigned long)/(long)/ in the following
testcase (long works):

int f(float * );
unsigned long FcCharSetFreeze (int *fcs, int b)
{
  int i;
  int a = 0;
  for (i = 0; i < *fcs; i++)
  {
    float *leaf = (float *)fcs;
    int hash = f (leaf);
    if (hash)
      a = b;
    if (!a)
      return;
  }
  return (unsigned long) fcs;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2008-05-07 21:50 -------
operand_equal_p returns true for (float *) VH.11 and (long unsigned int) VH.11.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2008-05-07 21:54 -------
I have a patch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-05-07 21:10:58         |2008-05-07 21:54:03
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2008-05-08 08:20 -------
Subject: Bug 36172

Author: rguenth
Date: Thu May  8 08:19:16 2008
New Revision: 135070

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135070
Log:
2008-05-08  Richard Guenther  <rguenther@suse.de>

        PR middle-end/36172
        * fold-const.c (operand_equal_p): Two objects which types
        differ in pointerness are not equal.

        * gcc.c-torture/compile/pr36172.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr36172.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2008-05-08 08:24 -------
Subject: Bug 36172

Author: rguenth
Date: Thu May  8 08:23:59 2008
New Revision: 135072

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135072
Log:
2008-05-08  Richard Guenther  <rguenther@suse.de>

        PR middle-end/36154
        * tree-ssa-structalias.c (push_fields_onto_fieldstack): Make
        sure to create a representative for trailing arrays for PTA.

        * gcc.c-torture/compile/pr36154.c: New testcase.

2008-05-08  Richard Guenther  <rguenther@suse.de>

        PR middle-end/36172
        * fold-const.c (operand_equal_p): Two objects which types
        differ in pointerness are not equal.

        * gcc.c-torture/compile/pr36172.c: New testcase.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/compile/pr36154.c
      - copied unchanged from r135071,
trunk/gcc/testsuite/gcc.c-torture/compile/pr36154.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/compile/pr36172.c
      - copied unchanged from r135071,
trunk/gcc/testsuite/gcc.c-torture/compile/pr36172.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/fold-const.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-ssa-structalias.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172

[Bug middle-end/36172] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #14 from rguenth at gcc dot gnu dot org  2008-05-08 08:30 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36172