https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102793
--- Comment #7 from Manolis Tsamis <manolis.tsamis at vrull dot eu> --- Also submitted in the lists: https://gcc.gnu.org/pipermail/gcc-patches/2024-April/648856.html I should note that I needed to modify the test uninit-pred-6_c.c and remove this check: if (l) if (n > 12) blah(v); /* { dg-bogus "uninitialized" "bogus warning" } */ because it was inconsistent. If the branch is merged to a simple if (l && (n > 12)) is fails (on master). With the proposed patch we get more ifcombining and better codegen but this condition fails. I believe this would need an enhancement in tree-ssa-uninit.