https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93644 --- Comment #14 from Martin Sebor <msebor at gcc dot gnu.org> --- I looks like this might be another opportunity to use the predicate analysis from tree-ssa-uninit.c (once it's generalized).