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

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[13/14/15/16 Regression]    |[13/14/15 Regression]
                   |-fanalyzer -Os segmentation |-fanalyzer -Os segmentation
                   |fault due to infinite       |fault due to infinite
                   |recursion in                |recursion in
                   |ana::constraint_manager::ev |ana::constraint_manager::ev
                   |al_condition                |al_condition

--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Reproducer seems to have stopped crashing trunk with r16-6063-g0b786d961d4426.