https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78985
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> ---
Well, it's very hard to bisect that as r237621 fails with:
/suse/mliska/Programming/gcc/gcc/tree-vrp.c:1244:12: error: ‘inv2’ may be used
uninitialized in this function [-Werror=maybe-uninitialized]
tree inv = cst1 ? inv2 : inv1;
^~~
/suse/mliska/Programming/gcc/gcc/tree-vrp.c:1203:24: error: ‘neg1’ may be used
uninitialized in this function [-Werror=maybe-uninitialized]
if (sym1 != sym2 || neg1 != neg2)
~~~~~~~~~~~~~^~~~~~~~~~~~~~~
/suse/mliska/Programming/gcc/gcc/tree-vrp.c:1232:13: error: ‘inv1’ may be used
uninitialized in this function [-Werror=maybe-uninitialized]
if ((sym1 && inv1 && cst2) || (sym2 && inv2 && cst1))
this one is fine: r235961.
I'll attach uninit1 dump file.
