diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-05-09 13:37:13 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:53 -0400 |
| commit | 1948dcab167efef1d00117d71c440aff0319dbda (patch) | |
| tree | d0ff22c096f3c334f13efe550a32ae934afd3736 /gcc/ada/contracts.adb | |
| parent | 62226c35545bcda44ae97630658d1ad8129ab0c6 (diff) | |
| download | gcc-1948dcab167efef1d00117d71c440aff0319dbda.zip gcc-1948dcab167efef1d00117d71c440aff0319dbda.tar.gz gcc-1948dcab167efef1d00117d71c440aff0319dbda.tar.bz2 | |
[Ada] Spurious elaboration warnings with -gnatc and null procedures
gcc/ada/
* sem_elab.adb (Is_Guaranteed_ABE): Take into account null
procedures.
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions