diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-09-03 05:33:39 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-22 08:11:27 -0400 |
| commit | d4194d74faee24c9bded05ba1b523e52f8b40bf0 (patch) | |
| tree | 04497543315e76fda4e387202a90b5943503acfd /gcc/tree-ssa-structalias.c | |
| parent | 41a52050498ea809c7175e2a3ce682324d2a966c (diff) | |
| download | gcc-d4194d74faee24c9bded05ba1b523e52f8b40bf0.zip gcc-d4194d74faee24c9bded05ba1b523e52f8b40bf0.tar.gz gcc-d4194d74faee24c9bded05ba1b523e52f8b40bf0.tar.bz2 | |
[Ada] Add more annotations and assertions in the runtime
gcc/ada/
* libgnat/s-imenne.adb, libgnat/s-imgrea.adb: Add assertions.
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
0 files changed, 0 insertions, 0 deletions