https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101156
Bug ID: 101156 Summary: ICE: ‘verify_gimple’ failed, verify_gimple_in_seq(gimple*) Product: gcc Version: tree-ssa Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: cnsun at uwaterloo dot ca Target Milestone: --- $ gcc-trunk -v Using built-in specs. COLLECT_GCC=gcc-trunk COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/configure --enable-languages=c,c++,lto --enable-checking-yes --enable-multiarch --prefix=/scratch/software/gcc-trunk --disable-bootstrap Thread model: posix Supported LTO compression algorithms: zlib gcc version 12.0.0 20210621 (experimental) [master revision :ac955e7ab:3e42ff715697c75c4fb4aed550a8a15edb3eeea6] (GCC) $ cat mutant.c struct S { int i; } baz(struct S *p) { setjmp(p--); } $ gcc-trunk mutant.c mutant.c: In function ‘baz’: mutant.c:4:3: warning: implicit declaration of function ‘setjmp’ [-Wimplicit-function-declaration] 4 | setjmp(p--); | ^~~~~~ mutant.c:3:3: error: type mismatch in ‘pointer_plus_expr’ 3 | } baz(struct S *p) { | ^~~ struct S * <<< error >>> sizetype p = _1 + 18446744073709551612; mutant.c:3:3: internal compiler error: ‘verify_gimple’ failed 0xf4c4c5 verify_gimple_in_seq(gimple*) /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/gcc/tree-cfg.c:5183 0xc3a336 gimplify_body(tree_node*, bool) /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/gcc/gimplify.c:15422 0xc3a4d1 gimplify_function_tree(tree_node*) /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/gcc/gimplify.c:15493 0xa8be17 cgraph_node::analyze() /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/gcc/cgraphunit.c:670 0xa8ed11 analyze_functions /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/gcc/cgraphunit.c:1234 0xa8f7e1 symbol_table::finalize_compilation_unit() /tmp/tmp.oJWiD4wb77-gcc-builder/gcc/gcc/cgraphunit.c:2508 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.