https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124104
--- Comment #4 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:8354a70739419dc9e48e3b5613112e3ce737d246 commit r17-608-g8354a70739419dc9e48e3b5613112e3ce737d246 Author: David Malcolm <[email protected]> Date: Tue May 19 15:04:26 2026 -0400 analyzer: bulletproof binop_svalue::maybe_get_value_range_1 [PR124104] r16-7560-gf310e487e1a5f0 bulletproofed unaryop_svalue::maybe_get_value_range against sloppy use of types in the analyzer. Do the same for binary ops. gcc/analyzer/ChangeLog: PR analyzer/124104 * svalue.cc (binop_svalue::maybe_get_value_range_1): Bail out for incompatible types. Signed-off-by: David Malcolm <[email protected]>
