This patch disables a sometimes-failing assertion. The assertion is
failing because there is an invocation edge spec-->body, and then we
later add a Body_Before_Spec_Edge for the SCC computation. This is a
temporary fix; we need to investigate why the spec-->body invocation
edge exists.
Tested on x86_64-pc-linux-gnu, committed on trunk
2020-06-09 Bob Duff <d...@adacore.com>
gcc/ada/
* bindo-graphs.adb (Add_Edge_Kind_Check): Disable failing part
of the assertion.--- gcc/ada/bindo-graphs.adb
+++ gcc/ada/bindo-graphs.adb
@@ -1795,7 +1795,12 @@ package body Bindo.Graphs is
-- be spec-->body.
when Body_Before_Spec_Edge =>
- OK := Attributes.Kind = Body_Before_Spec_Edge;
+ if True then
+ -- ????Disable this part of the assertion for now
+ OK := True;
+ else
+ OK := Attributes.Kind = Body_Before_Spec_Edge;
+ end if;
-- Spec_Before_Body_Edge comes first
