This patch fixes an ICE seen in various ada source files within the analyzer when attempting to bootstrap with --with-build-config=bootstrap-analyzer where: $ cat config/bootstrap-analyzer.mk STAGE2_CFLAGS += -fanalyzer STAGE3_CFLAGS += -fanalyzer
With this patch, the bootstrap succeeded (after 7 hours; it normally takes 40-45 minutes on this machine) and the only regression test failures were in gcc.dg/plugin/poly-int-*_plugin.c, due to hitting the 5 minutes per test timeouts (where -fanalyzer was being injected into the test runs). Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Pushed to master as r11-3895-g12b267cc606a48a2fef809189c35573c4a51d3a5. gcc/analyzer/ChangeLog: PR analyzer/93723 * store.cc (binding_map::apply_ctor_to_region): Remove redundant assertion. --- gcc/analyzer/store.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/analyzer/store.cc b/gcc/analyzer/store.cc index 11585123561..7e91addd035 100644 --- a/gcc/analyzer/store.cc +++ b/gcc/analyzer/store.cc @@ -455,7 +455,6 @@ binding_map::apply_ctor_to_region (const region *parent_reg, tree ctor, { gcc_assert (parent_reg); gcc_assert (TREE_CODE (ctor) == CONSTRUCTOR); - gcc_assert (!CONSTRUCTOR_NO_CLEARING (ctor)); unsigned ix; tree index; -- 2.26.2