[Bug analyzer/93388] ensure -fanalyzer works with our C code

dcb314 at hotmail dot com gcc-bugzilla@gcc.gnu.org
Fri May 8 08:22:32 GMT 2020


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93388

--- Comment #16 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to David Binderman from comment #11)
> (In reply to David Binderman from comment #9)
> > I'll report back with anything else I find.
> 
> 154 ice left. 

I had another look at this and considerable progress has been made.
Only six ices left for the C code in the test suite. These are

$ egrep "internal compiler error:" 20200508.c.out | fgrep analyzer | sort -k 2 
./gcc.c-torture/compile/20010107-1.c:7:3: internal compiler error: in
get_or_create_mem_ref, at analyzer/region-model.cc:6932
./gcc.target/i386/addr-space-5.c:13:3: internal compiler error: in
get_or_create_mem_ref, at analyzer/region-model.cc:6932
./c-c++-common/vector-subscript-3.c:5:16: internal compiler error: in validate,
at analyzer/region-model.cc:243
./gcc.dg/pr70022.c:9:3: internal compiler error: in validate, at
analyzer/region-model.cc:243
./gcc.dg/pr78526.c:10:1: internal compiler error: in validate, at
analyzer/region-model.cc:243
./gcc.target/i386/pr79498.c:9:1: internal compiler error: in validate, at
analyzer/region-model.cc:243
$ 

I used compiler flags -g -O2 -fanalyzer.


More information about the Gcc-bugs mailing list