https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71170
--- Comment #15 from kugan at gcc dot gnu.org ---
(In reply to David Binderman from comment #14)
> (In reply to Jakub Jelinek from comment #12)
> > Is it still broken?
>
> I think so. Attachment seems to break svn 237286, dated today.
The issue with tree-reassoc is fixed now. Attached code ICE with
-fno-tree-reassoc also. Here is reduced testcase that shows the current ICE. I
think we should close this PR and create a new one for this.
cat b.c
struct {
int error;
} *a;
extern int fz_push_try ();
int pdf_page_render() { return fz_push_try() && (a->error = __sigsetjmp()); }
./gcc/cc1 -O2 b.c -fno-tree-reassoc
pdf_page_render
b.c: In function ‘pdf_page_render’:
b.c:6:61: warning: implicit declaration of function ‘__sigsetjmp’
[-Wimplicit-function-declaration]
int pdf_page_render() { return fz_push_try() && (a->error = __sigsetjmp()); }
^~~~~~~~~~~
Analyzing compilation unit
Performing interprocedural optimizations
<*free_lang_data> <visibility> <build_ssa_passes>b.c:6:1: error: definition in
block 4 does not dominate use in block 5
int pdf_page_render() { return fz_push_try() && (a->error = __sigsetjmp()); }
^~~
for SSA_NAME: a.1_2 in statement:
# .MEM_14 = VDEF <.MEM_13>
a.1_2->error = _3;
b.c:6:1: internal compiler error: verify_ssa failed
0xdacfab verify_ssa(bool, bool)
../../test/gcc/tree-ssa.c:1039
0xac3c87 execute_function_todo
../../test/gcc/passes.c:1971
0xac2ce7 do_per_function
../../test/gcc/passes.c:1648
0xac3e1c execute_todo
../../test/gcc/passes.c:2016
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
