[Bug middle-end/38360] New: [4.4 regression] ICE in gimple_op, at gimple.h:1636

[Bug middle-end/38360] New: [4.4 regression] ICE in gimple_op, at gimple.h:1636

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/PR491115]

works with 4.3, fails with trunk 20081129

  Matthias

$ /usr/lib/gcc-snapshot/bin/gcc fputs.c
fputs.c: In function 'main':
fputs.c:5: internal compiler error: in gimple_op, at gimple.h:1636
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-snapshot/README.Bugs> for instructions.

int main(int argc, char **argv)
{
        fputs("");
        return 0;
}


-- 
           Summary: [4.4 regression] ICE in gimple_op, at gimple.h:1636
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org


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

[Bug middle-end/38360] [4.4 regression] ICE in gimple_op, at gimple.h:1636

[debian-gcc at lists dot debian dot org]

------- Comment #1 from debian-gcc at lists dot debian dot org  2008-12-02 00:24 -------
link is http://bugs.debian.org/491115

  Matthias


-- 


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

[Bug middle-end/38360] [4.3/4.4 regression] ICE in gimple_op, at gimple.h:1636

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-12-02 00:34 -------
#1  0x00601a05 in gimple_op (gs=0x42e532d0, i=4) at
/Users/apinski/src/local/gcc/gcc/gimple.h:1636
#2  0x0060578d in gimple_call_arg (gs=0x42e532d0, index=1) at
/Users/apinski/src/local/gcc/gcc/gimple.h:2049
#3  0x0060ee0b in ccp_fold_builtin (stmt=0x42e532d0) at
/Users/apinski/src/local/gcc/gcc/tree-ssa-ccp.c:2567
#4  0x00610218 in fold_gimple_call (gsi=0xbffff63c) at
/Users/apinski/src/local/gcc/gcc/tree-ssa-ccp.c:2793
#5  0x0061092d in fold_stmt (gsi=0xbffff63c) at
/Users/apinski/src/local/gcc/gcc/tree-ssa-ccp.c:2881
#6  0x00525d64 in remove_useless_stmts_1 (gsi=0xbffff63c, data=0xbffff73c) at
/Users/apinski/src/local/gcc/gcc/tree-cfg.c:1921

4.3.2 also ICEs in the same spot so did 4.3.0:
[andrew-pinskis-computer-2:gcc/objdir/stage1-gcc] apinski% ~/local-gcc/bin/gcc
-V4.3.0 t.ct.c: In function 'main':
t.c:5: internal compiler error: tree check: accessed operand 5 of call_expr
with 4 operands in ccp_fold_builtin, at tree-ssa-ccp.c:2466
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to work|4.3.3                       |
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-02 00:34:43
               date|                            |
            Summary|[4.4 regression] ICE in     |[4.3/4.4 regression] ICE in
                   |gimple_op, at gimple.h:1636 |gimple_op, at gimple.h:1636


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

[Bug middle-end/38360] [4.3/4.4 regression] ICE in gimple_op, at gimple.h:1636

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-12-02 00:37 -------
Caused by:
------------------------------------------------------------------------
r122018 | sandra | 2007-02-15 15:50:49 -0800 (Thu, 15 Feb 2007) | 862 lines

There used to be a validate_arglist in fold_builtin_fputs but that has been
removed in that revision.

   /* Verify the arguments in the original call.  */
-  if (!validate_arglist (arglist, POINTER_TYPE, POINTER_TYPE, VOID_TYPE))
-    return 0;
+  if (!validate_arg (arg0, POINTER_TYPE)
+      || !validate_arg (arg1, POINTER_TYPE))
+    return NULL_TREE;


So we no longer validate that the fputs builtin has the correct argument
types/number any more in tree-ssa-ccp.c's ccp_fold_builtin.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sandra at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.3


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

[Bug middle-end/38360] [4.3/4.4 regression] ICE in gimple_op, at gimple.h:1636

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2008-12-02 07:59 -------
The bug is elsewhere.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-12-02 00:34:43         |2008-12-02 07:59:54
               date|                            |


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

[Bug middle-end/38360] [4.3/4.4 regression] ICE in gimple_op, at gimple.h:1636

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2008-12-02 08:11 -------
I'd like to apologize for the last comment, the bug is related to that change,
just should be fixed on the ccp_fold_builtin side.


-- 


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

[Bug middle-end/38360] [4.3/4.4 regression] ICE in gimple_op, at gimple.h:1636

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-12-02 11:16 -------
Or rather we should verify arguments to builtin functions properly in the
frontends.


-- 


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

[Bug middle-end/38360] [4.3/4.4 regression] ICE in gimple_op, at gimple.h:1636

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2008-12-03 16:59 -------
Subject: Bug 38360

Author: jakub
Date: Wed Dec  3 16:57:44 2008
New Revision: 142399

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142399
Log:
        PR middle-end/38360
        * tree-ssa-ccp.c (ccp_fold_builtin): Bail out if the builtin doesn't
        have the right number of arguments.

        * gcc.c-torture/compile/pr38360.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr38360.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ccp.c


-- 


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

[Bug middle-end/38360] [4.3 regression] ICE in gimple_op, at gimple.h:1636

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2008-12-03 17:02 -------
Fixed on the trunk so far.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.4.0                       |4.3.2
      Known to work|                            |4.4.0
            Summary|[4.3/4.4 regression] ICE in |[4.3 regression] ICE in
                   |gimple_op, at gimple.h:1636 |gimple_op, at gimple.h:1636


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

[Bug middle-end/38360] [4.3 Regression] ICE in gimple_op, at gimple.h:1636

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[4.3 regression] ICE in     |[4.3 Regression] ICE in
                   |gimple_op, at gimple.h:1636 |gimple_op, at gimple.h:1636


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

[Bug middle-end/38360] [4.3 Regression] ICE in gimple_op, at gimple.h:1636

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2009-01-24 10:21 -------
GCC 4.3.3 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.3                       |4.3.4


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

[Bug middle-end/38360] [4.3 Regression] ICE in gimple_op, at gimple.h:1636

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2009-08-04 12:29 -------
GCC 4.3.4 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.4                       |4.3.5


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

[Bug middle-end/38360] [4.3 Regression] ICE in gimple_op, at gimple.h:1636

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2010-04-20 14:25 -------
Subject: Bug 38360

Author: rguenth
Date: Tue Apr 20 14:24:39 2010
New Revision: 158561

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158561
Log:
2010-04-20  Richard Guenther  <rguenther@suse.de>

        Backport from mainline:
        2010-03-01  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/43220
        * tree-ssa-ccp.c (optimize_stack_restore): Do not optimize
        BUILT_IN_STACK_{SAVE,RESTORE} around alloca.

        * gcc.c-torture/execute/pr43220.c: New testcase.

        2008-12-03  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/38360
        * tree-ssa-ccp.c (ccp_fold_builtin): Bail out if the builtin doesn't
        have the right number of arguments.

        * gcc.c-torture/compile/pr38360.c: New test.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/compile/pr38360.c
    branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/execute/pr43220.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/tree-ssa-ccp.c


-- 


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

[Bug middle-end/38360] [4.3 Regression] ICE in gimple_op, at gimple.h:1636

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2010-04-20 14:24 -------
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=38360