MatCat.OpenSource/8sa1-gcc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Disable assertion regarding Body_Before_Spec_Edge

Browse Source 
2020-06-09  Bob Duff  <duff@adacore.com>

gcc/ada/

	* bindo-graphs.adb (Add_Edge_Kind_Check): Disable failing part
	of the assertion.
This commit is contained in:
Bob Duff 2020-02-24 19:22:56 -05:00 committed by Pierre-Marie de Rodat
parent 942a384ef9
commit d68c6d7dcc
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/bindo-graphs.adb
View File

@ -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