projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41a5205) | patch
[Ada] Add more annotations and assertions in the runtime
authorArnaud Charlet <charlet@adacore.com>
Thu, 3 Sep 2020 09:33:39 +0000 (05:33 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:27 +0000 (08:11 -0400)
commitd4194d74faee24c9bded05ba1b523e52f8b40bf0
tree04497543315e76fda4e387202a90b5943503acfdtree | snapshot
parent41a52050498ea809c7175e2a3ce682324d2a966ccommit | diff
[Ada] Add more annotations and assertions in the runtime

gcc/ada/

* libgnat/s-imenne.adb, libgnat/s-imgrea.adb: Add assertions.
gcc/ada/libgnat/s-imenne.adb diff | blob | history
gcc/ada/libgnat/s-imgrea.adb diff | blob | history
Domain: System / Toolchain;