aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2020-06-26 05:08:37 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2020-10-16 03:31:27 -0400
commit3d5f1f27a78e7379a8bcb31e52f625b4a535c78a (patch)
tree32ff6ec91838bf02d826ee9f2ff7ab7ae4b74d3a /gcc/ada/gcc-interface
parent6d0dedfa0b2141a7f6fa94ebec3f2d7249593a0d (diff)
downloadgcc-3d5f1f27a78e7379a8bcb31e52f625b4a535c78a.zip
gcc-3d5f1f27a78e7379a8bcb31e52f625b4a535c78a.tar.gz
gcc-3d5f1f27a78e7379a8bcb31e52f625b4a535c78a.tar.bz2
[Ada] Relax too strong assertions
gcc/ada/ * scil_ll.adb, sem_scil.adb: Update assertions.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions