[Bug analyzer/111099] [13/14/15/16 Regression] -fanalyzer -Os segmentation fault due to infinite recursion in ana::constraint_manager::eval_condition

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111099

--- Comment #6 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Affects 14.2: https://godbolt.org/z/q7z1r9K3e
Affects 15.1: https://godbolt.org/z/rzfPKrM4c
Doesn't seem to affect trunk: https://godbolt.org/z/aK7KoTasY