[committed] analyzer: fix build with ada [PR93723]

David Malcolm dmalcolm@redhat.com
Wed Oct 14 20:48:38 GMT 2020


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



More information about the Gcc-patches mailing list