[Bug tree-optimization/26376] New: K+R style function compiled with -qipa-pta ICEs

[Bug tree-optimization/26376] New: K+R style function compiled with -qipa-pta ICEs

[anton at samba dot org]

After seeing -qipa-pta appear, I thought id give it a spin :) Looks like the
test case below fails, but only when using K+R style functions.

$ /home/anton/toolchain/install/bin/gcc -v
Using built-in specs.
Target: powerpc-linux Configured with: /home/anton/toolchain/gcc/gcc/configure
--build=powerpc-linux --host=powerpc-linux --target=powerpc-linux
--enable-targets=powerpc64-linux --enable-languages=c,c++,fortran
--prefix=/home/anton/toolchain/install
Thread model: posix
gcc version 4.2.0 20060220 (experimental)

$ cat foo.c
#if 1
void foo(a)
     void (*a)();
{
        (*a)();
}
#else
void foo(void (*a)())
{
        (*a)();
}
#endif

$ /home/anton/toolchain/install/bin/gcc -c -O3 -fipa-pta foo.c
foo.c: In function 'foo': foo.c:6: internal compiler error: in
find_func_aliases, at tree-ssa-structalias.c:3321
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: K+R style function compiled with -qipa-pta ICEs
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anton at samba dot org
GCC target triplet: powerpc64-linux


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

[Bug tree-optimization/26376] K+R style function compiled with -qipa-pta ICEs

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-02-21 14:05 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-21 14:05:16
               date|                            |


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

[Bug tree-optimization/26376] K+R style function compiled with -fipa-pta ICEs

[dberlin at gcc dot gnu dot org]

------- Comment #2 from dberlin at gcc dot gnu dot org  2006-02-21 14:48 -------
fipa-pta currently doesn't do anything interesting, it just builds points-to
sets and then deletes them.
I will fix things when i get a chance..


-- 

dberlin at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dberlin at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-02-21 14:05:16         |2006-02-21 14:48:34
               date|                            |
            Summary|K+R style function compiled |K+R style function compiled
                   |with -qipa-pta ICEs         |with -fipa-pta ICEs


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

[Bug tree-optimization/26376] K+R style function compiled with -fipa-pta ICEs

[dberlin at dberlin dot org]

------- Comment #3 from dberlin at gcc dot gnu dot org  2006-02-21 16:20 -------
Subject: Re:  K+R style function compiled with
        -qipa-pta ICEs

On Tue, 2006-02-21 at 14:05 +0000, pinskia at gcc dot gnu dot org wrote:
> 
> ------- Comment #1 from pinskia at gcc dot gnu dot org  2006-02-21 14:05 -------
> Confirmed.


So this occurs because the argument doesn't appear in the DECL_ARGUMENTS
list when we have K+R functions (probably because they have no real
parameter lists, or some such)

This is not something I can really fix, it is only something i should be
able to avoid. 

If we can't get the real argument list for a function, we will never be
able to properly process function calls anyway.


Basically, i will make fipa-pta do nothing at all if it sees K + R
functions.


-- 


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

[Bug tree-optimization/26376] K+R style function compiled with -fipa-pta ICEs

[dberlin at gcc dot gnu dot org]

------- Comment #4 from dberlin at gcc dot gnu dot org  2006-02-23 18:16 -------
Subject: Bug 26376

Author: dberlin
Date: Thu Feb 23 18:16:12 2006
New Revision: 111392

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111392
Log:
2006-02-23  Daniel Berlin  <dberlin@dberlin.org>

        Fix PR tree-optimization/26376
        * tree-ssa-structalias.c (find_func_aliases):  Use get_id_for_tree,
        remove assert.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-ssa-structalias.c


-- 


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

[Bug tree-optimization/26376] K+R style function compiled with -fipa-pta ICEs

[dberlin at gcc dot gnu dot org]

------- Comment #5 from dberlin at gcc dot gnu dot org  2006-02-23 18:25 -------
Fixed.


-- 

dberlin at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/26376] K+R style function compiled with -fipa-pta ICEs

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.2.0


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