[Bug jit/105279] Using libgccjit produces a null pointer access in GCC's tree-optimization code

[marxin at gcc dot gnu.org via Gcc-bugs]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-04-19
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
It really crashes in the unary minus_expr:

$ gcc pr105279.c -lgccjit && ./a.out
libgccjit.so: error: invalid (pointer) operands ‘minus_expr’
_1 = ip - &labels[0];
libgccjit.so: error: ‘verify_gimple’ failed
0x7ffff648d684 verify_gimple_in_seq(gimple*)
        /home/marxin/Programming/gcc/gcc/tree-cfg.cc:5213
0x7ffff6157045 gimplify_body(tree_node*, bool)
        /home/marxin/Programming/gcc/gcc/gimplify.cc:16438
0x7ffff61571bc gimplify_function_tree(tree_node*)
        /home/marxin/Programming/gcc/gcc/gimplify.cc:16509
0x7ffff5ed876e gcc::jit::playback::function::postprocess()
        /home/marxin/Programming/gcc/gcc/jit/jit-playback.cc:1917
0x7ffff5ed9cac gcc::jit::playback::context::replay()
        /home/marxin/Programming/gcc/gcc/jit/jit-playback.cc:3258
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.