[Bug analyzer/94011] ICE in validate, at analyzer/region-model.cc:3727

[asolokha at gmx dot com]

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

--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> ---
I see similar ICE when compiling gcc/testsuite/g++.old-deja/g++.eh/ptrmem1.C
even w/ -fanalyzer alone.