https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124232
--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <[email protected]>: https://gcc.gnu.org/g:f8380ded1f64c275cfe7fdd55789feb0cab70e7b commit r16-7708-gf8380ded1f64c275cfe7fdd55789feb0cab70e7b Author: David Malcolm <[email protected]> Date: Wed Feb 25 21:50:58 2026 -0500 analyzer: fix ICE on putenv of a field [PR124232] store::mark_as_escaped requires the region passed in to be a base region, but the analyzer's implementation of putenv wasn't respecting that. Fixed thusly. gcc/analyzer/ChangeLog: PR analyzer/124232 * kf.cc (kf_putenv::impl_call_pre): Use base region when marking pointer as having escaped. gcc/testsuite/ChangeLog: PR analyzer/124232 * gcc.dg/analyzer/putenv-ice-pr124232.c: New test. Signed-off-by: David Malcolm <[email protected]>
