[Bug tree-optimization/47193] New: [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[Bug tree-optimization/47193] New: [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: in
                    function_and_variable_visibility, at ipa.c:857 with
                    static var weakref'd to other weakref'd static var
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: hubicka@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


----- testcase.c -----
static int i __attribute__ ((weakref ("j")));
static int j __attribute__ ((weakref ("k")));
----------------------
(reduced from gcc.dg/attr-weakref-1.c)
PR47190 was reduced from the same testcase, but ended in different ICE.

Compiler output:
$ gcc testcase.c
testcase.c:2:1: internal compiler error: in function_and_variable_visibility,
at ipa.c:857
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


(gdb) bt
#0  fancy_abort (file=0x11b8518
"/usr/portage/distfiles/svn-src/gcc/trunk/gcc/ipa.c", line=857, 
    function=0x11b86e0 "function_and_variable_visibility") at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/diagnostic.c:892
#1  0x0000000000b1c6b2 in function_and_variable_visibility (whole_program=0
'\000')
    at /usr/portage/distfiles/svn-src/gcc/trunk/gcc/ipa.c:857
#2  0x0000000000b1c93d in whole_program_function_and_variable_visibility ()
    at /usr/portage/distfiles/svn-src/gcc/trunk/gcc/ipa.c:1047
#3  0x00000000007f1e56 in execute_one_pass (pass=0x163cc60) at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/passes.c:1553
#4  0x00000000007f258a in execute_ipa_pass_list (pass=0x163cc60)
    at /usr/portage/distfiles/svn-src/gcc/trunk/gcc/passes.c:1920
#5  0x0000000000af9e04 in ipa_passes () at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/cgraphunit.c:1759
#6  cgraph_optimize () at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/cgraphunit.c:1794
#7  0x0000000000af9fda in cgraph_finalize_compilation_unit ()
    at /usr/portage/distfiles/svn-src/gcc/trunk/gcc/cgraphunit.c:1042
#8  0x0000000000509d6c in c_write_global_declarations () at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/c-decl.c:9843
#9  0x00000000008db9e6 in compile_file (argc=12, argv=0x7fffffffdae8)
    at /usr/portage/distfiles/svn-src/gcc/trunk/gcc/toplev.c:591
#10 do_compile (argc=12, argv=0x7fffffffdae8) at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/toplev.c:1874
#11 toplev_main (argc=12, argv=0x7fffffffdae8) at
/usr/portage/distfiles/svn-src/gcc/trunk/gcc/toplev.c:1937
#12 0x00007ffff6586bbd in __libc_start_main () from /lib/libc.so.6
#13 0x00000000004f0955 in _start ()

Tested revisions:
r168535 - crash
r165699 - OK
4.5 r168062 - OK

[Bug tree-optimization/47193] [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[hubicka at ucw dot cz]

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

--- Comment #1 from Jan Hubicka <hubicka at ucw dot cz> 2011-01-06 18:00:31 UTC ---
> static int i __attribute__ ((weakref ("j")));
> static int j __attribute__ ((weakref ("k")));
Also invalid, will make fix for that too.

Honza

[Bug tree-optimization/47193] [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.06 18:33:24
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-06 18:33:24 UTC ---
It is caused by revision 166812:

http://gcc.gnu.org/ml/gcc-cvs/2010-11/msg00701.html

[Bug tree-optimization/47193] [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[zsojka at seznam dot cz]

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-06 18:34:31 UTC ---
----- testcase2.c -----
typedef int vtype;
static vtype Wv10a __attribute__((weakref ("Wv10b")));
static vtype Wv10b __attribute__((weakref ("Wv10c")));
static vtype Wv10c __attribute__((weakref ("Wv10d")));
static vtype Wv10d __attribute__((weakref ("wv10")));
extern vtype wv10;
-----------------------

Is this also invalid? It fails the same way:
$ gcc testcase2.c
testcase2.c:6:1: internal compiler error: in function_and_variable_visibility,
at ipa.c:857
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug tree-optimization/47193] [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[hubicka at ucw dot cz]

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

--- Comment #4 from Jan Hubicka <hubicka at ucw dot cz> 2011-01-06 18:52:28 UTC ---
> typedef int vtype;
> static vtype Wv10a __attribute__((weakref ("Wv10b")));
> static vtype Wv10b __attribute__((weakref ("Wv10c")));
> static vtype Wv10c __attribute__((weakref ("Wv10d")));
> static vtype Wv10d __attribute__((weakref ("wv10")));
> extern vtype wv10;
> -----------------------
> 
> Is this also invalid? It fails the same way:
No idea,  I think the aliased symbol should always be external one, but the
sanity check
might be overactive here (the weakref code seems to be skipping transparent
aliases,
so it should be equivalent of aliasing Wv10 in all cases).

Honza

[Bug tree-optimization/47193] [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
                 CC|                            |jakub at gcc dot gnu.org

[Bug tree-optimization/47193] [4.6 Regression] ICE: in function_and_variable_visibility, at ipa.c:857 with static var weakref'd to other weakref'd static var

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WORKSFORME

--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-01-22 15:54:35 UTC ---
Seems to work for me now.  Probably fixed with other aliasing changes.

jh@gcc10:~/trunk/build/gcc$ cat >weak2.c
typedef int vtype;
static vtype Wv10a __attribute__((weakref ("Wv10b")));
static vtype Wv10b __attribute__((weakref ("Wv10c")));
static vtype Wv10c __attribute__((weakref ("Wv10d")));
static vtype Wv10d __attribute__((weakref ("wv10")));
extern vtype wv10;
jh@gcc10:~/trunk/build/gcc$ ./xgcc -B ./  weak2.c
/usr/lib/../lib64/crt1.o: In function `_start':
(.text+0x20): undefined reference to `main'
collect2: ld returned 1 exit status
jh@gcc10:~/trunk/build/gcc$ cat >weak3.c
static int i __attribute__ ((weakref ("j")));
static int j __attribute__ ((weakref ("k")));
jh@gcc10:~/trunk/build/gcc$ ./xgcc -B ./  weak3.c
/usr/lib/../lib64/crt1.o: In function `_start':
(.text+0x20): undefined reference to `main'
collect2: ld returned 1 exit status