https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96699
--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:366bd1ac01a5249a463e64234674ad2d174faa9a commit r11-2770-g366bd1ac01a5249a463e64234674ad2d174faa9a Author: David Malcolm <dmalc...@redhat.com> Date: Wed Aug 19 05:00:52 2020 -0400 analyzer: fix ICE converting float to int [PR96699] gcc/analyzer/ChangeLog: PR analyzer/96699 * region-model-manager.cc (region_model_manager::get_or_create_cast): Use FIX_TRUNC_EXPR for casting from REAL_TYPE to INTEGER_TYPE. gcc/testsuite/ChangeLog: PR analyzer/96699 * gcc.dg/analyzer/pr96699.c: New test.