Symbol table 21/many: analyze initializers of external vars

[Jan Hubicka]

> > OK, does the following patch fix the problem?  I will try to understand how
> > conistent is C++ frontend about the flags.  It would be nice to have safer
> > way to declare the "static var in other unit" than combination of EXTERNAL
> > and STATIC...
> 
> Not sufficient it seems:
> 
> /home/eric/build/gcc/native32/./prev-gcc/xgcc -B/home/eric/build/gcc/native32/./prev-gcc/ -B/home/eric/install/gcc/i586-suse-linux/bin/ -B/home/eric/install/gcc/i586-suse-linux/bin/ -B/home/eric/install/gcc/i586-suse-linux/lib/ -isystem /home/eric/install/gcc/i586-suse-linux/include -isystem /home/eric/install/gcc/i586-suse-linux/sys-include    -c -g -O2 -gtoggle  -gnatpg -gnata -W -Wall -nostdinc -I- -I. -Iada -I/home/eric/svn/gcc/gcc/ada -I/home/eric/svn/gcc/gcc/ada/gcc-interface /home/eric/svn/gcc/gcc/ada/ali.adb -o 
> ada/ali.o
> +===========================GNAT BUG DETECTED==============================+
> | 4.8.0 20120518 (experimental) [trunk revision 187647] (i586-suse-linux) GCC 
> error:|
> | in function_and_variable_visibility, at ipa.c:918                        |
> | Error detected around /home/eric/svn/gcc/gcc/ada/ali.adb:2499:1    
> 
> Note that the bootstrap is also broken on x86-64:

I would just remove that assert - it no longer makes sense.
> 
> +===========================GNAT BUG DETECTED==============================+
> | 4.8.0 20120518 (x86_64-unknown-linux-gnu) GCC error:                     |
> | in varpool_finalize_decl, at cgraphunit.c:822                            |
> | Error detected around ../../src/gcc/ada/ali.adb:2499:1                  

I will try to reproduce it there then.  It passed for me however.
Honza
> 
> -- 
> Eric Botcazou