https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106444
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- hmm, but r.symbolic_p returns false. Ah, because it's "wrong" in the way of treating &MEM <const char[16]> [(void *)&D.42061 + 16B] as not symbolic (it's an address constant). It's still not an irange though?