[Bug tree-optimization/37433] New: tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[Bug tree-optimization/37433] New: tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[tbm at cyrius dot com]

With current trunk (revision 140117):

(sid)1114:tbm@em64t: ..4.3-2008-09-08-r140117/gcc] ./cc1 -quiet -O2
~/odt2txt-regex.i
(sid)1115:tbm@em64t: ..4.3-2008-09-08-r140117/gcc] ./cc1 -quiet -O3
~/odt2txt-regex.i
regex.c: In function 'regex_rm':
regex.c:92: internal compiler error: tree check: expected function_decl, have
string_cst in ccp_fold, at tree-ssa-ccp.c:1050
Please submit a full bug report,


-- 
           Summary: tree check: expected function_decl, have string_cst in
                    ccp_fold, at tree-ssa-ccp.c:1050
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com


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

[Bug tree-optimization/37433] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2008-09-08 20:02 -------
Created an attachment (id=16256)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16256&action=view)
Preprocessed code


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2008-09-08 20:47 -------
reducing ...


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|tree check: expected        |[4.4 Regression] tree check:
                   |function_decl, have         |expected function_decl, have
                   |string_cst in ccp_fold, at  |string_cst in ccp_fold, at
                   |tree-ssa-ccp.c:1050         |tree-ssa-ccp.c:1050
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2008-09-08 21:01 -------
Reduced testcase:
int regex_subst(void)
{
  const void *subst = "";
  char *s;
  s =  (*(char *(*)(int))subst) (0);
}


-- 

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-09-08 21:01:48
               date|                            |


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-09-08 21:28 -------
This is surely not "valid" code.


-- 

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-09-08 21:01:48         |2008-09-08 21:28:17
               date|                            |


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-09-08 21:30 -------
(In reply to comment #4)
> This is surely not "valid" code.

valid but undefined.


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[tbm at cyrius dot com]

------- Comment #6 from tbm at cyrius dot com  2008-09-09 07:15 -------
I also just ran into:
internal compiler error: tree check: expected
function_decl, have var_decl in ccp_fold, at tree-ssa-ccp.c:1050

i.e. var_decl rather than function_decl

Do you want preprocessed source for this one too?


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[rguenther at suse dot de]

------- Comment #7 from rguenther at suse dot de  2008-09-09 07:31 -------
Subject: Re:  [4.4 Regression] tree check:
 expected function_decl, have string_cst in ccp_fold, at
 tree-ssa-ccp.c:1050

On Tue, 9 Sep 2008, tbm at cyrius dot com wrote:

> ------- Comment #6 from tbm at cyrius dot com  2008-09-09 07:15 -------
> I also just ran into:
> internal compiler error: tree check: expected
> function_decl, have var_decl in ccp_fold, at tree-ssa-ccp.c:1050
> 
> i.e. var_decl rather than function_decl
> 
> Do you want preprocessed source for this one too?

No need to.

Richard.


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2008-09-09 10:07 -------
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=37433

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2008-09-09 10:08 -------
Subject: Bug 37433

Author: rguenth
Date: Tue Sep  9 10:06:54 2008
New Revision: 140143

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

        PR tree-optimization/37433
        * tree-ssa-ccp.c (ccp_fold): Properly guard folding of
        function calls.

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

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


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[raj dot khem at gmail dot com]

------- Comment #10 from raj dot khem at gmail dot com  2008-11-08 04:56 -------
on arm I get 

/home/kraj/work/cross/arm-none-linux-gnueabi/obj/gcc3/gcc/xgcc
-B/home/kraj/work/cross/arm-none-linux-gnueabi/obj/gcc3/gcc/   -O1  -w -c -o
pr37433.o
/home/kraj/work/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/pr37433.c   
(timeout = 300)
pid is 7689 -7689
/home/kraj/work/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/pr37433.c: In
function 'regex_subst':
/home/kraj/work/gcc-trunk/gcc/testsuite/gcc.c-torture/compile/pr37433.c:4:
internal compiler error: tree check: expected tree that contains 'decl with
visibility' structure, have 'string_cst' in arm_function_in_section_p, at
config/arm/arm.c:3312
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

my gcc is 

Using built-in specs.
Target: arm-none-linux-gnueabi
Configured with:
/home/kraj/work/cross/arm-none-linux-gnueabi/../../gcc-trunk/configure
--target=arm-none-linux-gnueabi
--prefix=/home/kraj/work/cross/arm-none-linux-gnueabi/tools
--with-sysroot=/home/kraj/work/cross/arm-none-linux-gnueabi/sysroot
--enable-__cxa_atexit --disable-libssp --disable-libgomp --disable-libmudflap
--enable-languages=c,c++
Thread model: posix
gcc version 4.4.0 20081106 (experimental) (GCC)


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2008-11-10 22:39 -------
(In reply to comment #10)
> on arm I get 
> 

That is a target issue, please file it as a separate bug.


-- 


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

[Bug tree-optimization/37433] [4.4 Regression] tree check: expected function_decl, have string_cst in ccp_fold, at tree-ssa-ccp.c:1050

[pinskia at gcc dot gnu dot org]

------- Comment #12 from pinskia at gcc dot gnu dot org  2009-01-02 20:11 -------
(In reply to comment #11)
> That is a target issue, please file it as a separate bug.

It is filed as PR 38695.


-- 


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