https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102225
Bug ID: 102225
Summary: [12 Regression] ICE in get_or_create_int_cst, at
analyzer/region-model-manager.cc:227
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
gcc-12.0.0-alpha20210905 snapshot (g:a827909537cf085e5673ca7816b7bd7151d89fc5)
ICEs when compiling the following testcase, reduced from
test/clang-tidy/checkers/bugprone-misplaced-pointer-arithmetic-in-alloc.c from
the clang-tools-extra 12.0.0 testsuite, w/ -O1 -fchecking:
void bad_realloc(char *s, int n) {
char *p = __builtin_realloc(s, n);
}
% gcc-12.0.0 -O1 -fanalyzer -c cyjxpbay.c
during IPA pass: analyzer
cyjxpbay.c: In function 'bad_realloc':
cyjxpbay.c:2:13: internal compiler error: in get_or_create_int_cst, at
analyzer/region-model-manager.cc:227
2 | char *p = __builtin_realloc(s, n);
| ^~~~~~~~~~~~~~~~~~~~~~~
0x78915e ana::region_model_manager::get_or_create_int_cst(tree_node*,
poly_int<1u, long>)
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/region-model-manager.cc:227
0x78926e ana::region_model_manager::get_or_create_int_cst(tree_node*,
poly_int<1u, long>)
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/tree.h:3532
0x12590f5 update_model
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/region-model-impl-calls.cc:544
0x1228c17 ana::exploded_graph::process_node(ana::exploded_node*)
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/engine.cc:3455
0x122979a ana::exploded_graph::process_worklist()
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/engine.cc:2787
0x122bc65 ana::impl_run_checkers(ana::logger*)
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/engine.cc:5363
0x122ca5c ana::run_checkers()
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/engine.cc:5434
0x121c868 execute
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20210905/work/gcc-12-20210905/gcc/analyzer/analyzer-pass.cc:87
