projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 942a384) | patch
[Ada] Disable assertion regarding Body_Before_Spec_Edge
authorBob Duff <duff@adacore.com>
Tue, 25 Feb 2020 00:22:56 +0000 (19:22 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:08:59 +0000 (04:08 -0400)
commitd68c6d7dcc46a50ec248f9989243f83ad9a3ca0e
tree49af706e0ec01ed1bbbd97d11986faffb93ace9ctree | snapshot
parent942a384ef9f38777df25b2bfa421ce6a07553a98commit | diff
[Ada] Disable assertion regarding Body_Before_Spec_Edge

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

gcc/ada/

* bindo-graphs.adb (Add_Edge_Kind_Check): Disable failing part
of the assertion.
gcc/ada/bindo-graphs.adb diff | blob | history
Domain: System / Toolchain;