https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66899
Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-07-16
CC| |trippels at gcc dot gnu.org
Component|c |gcov-profile
Ever confirmed|0 |1
--- Comment #2 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat pkcs7_trust.i
struct
{
int authority;
} * a, *b, c, d;
int e, f;
static int
fn1 ()
{
if (a)
goto verified;
if (b)
goto matched;
return -126;
matched:
e = 0;
verified:
if (b)
for (; &c != b; c = d)
;
return 0;
}
int
fn2 ()
{
for (;;)
{
f = fn1 ();
switch (f)
{
case -126:
continue;
default:
return 0;
}
}
}
markus@x4 tmp % /var/tmp/gcc_test/usr/local/bin/gcc -Os -fprofile-arcs -c
pkcs7_trust.i
pkcs7_trust.i: In function ‘fn2’:
pkcs7_trust.i:24:1: error: size of loop 1 should be 10, not 12
fn2 ()
^
pkcs7_trust.i:24:1: internal compiler error: in verify_loop_structure, at
cfgloop.c:1647
