http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57036
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hubicka at gcc dot gnu.org
Component|c |middle-end
Blocks| |56982
Target Milestone|--- |4.9.0
Summary|ice in |[4.9 Regression] ice in
|update_ssa_across_abnormal_ |update_ssa_across_abnormal_
|edges |edges
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-23
11:27:49 UTC ---
Closest equivalent non-local goto testcase that ICEs:
int j_;
int jpgDecode_convert (unsigned i)
{
__label__ label;
int j;
inline void __attribute__((always_inline,leaf)) f(void)
{
g();
}
void __attribute__((noinline)) read_buf_open (void)
{
goto label;
}
if (i != 0)
f ();
j = j_;
read_buf_open ();
label:
return j;
}
> ./cc1 -quiet -O0 t.i
t.i: In function 'jpgDecode_convert':
t.i:23:1: error: definition in block 4 does not dominate use in block 7
}
^
for SSA_NAME: j_2 in statement:
_3 = j_2;
t.i:23:1: internal compiler error: verify_ssa failed
same underlying issue I believe.
