https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86586
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #1) > Yeah, I think it is a dup. There are many other cases where we call > maybe_constant_value for some warning only, and we assume it is a safe thing > to do. > Fixing that is going to be extremely hard or extremely costly I'm afraid. Well, just make sure to call maybe_constant_value unconditionally?