| commit | 29d3965161a8c9337a8b46019eea184ff3a6ac61 | |
| author | Bob Duff <duff@adacore.com> | |
| Wed, 19 May 2021 18:24:13 +0000 (19 14:24 -0400) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Wed, 7 Jul 2021 16:23:18 +0000 (7 16:23 +0000) | ||
| tree | ff38fc921294b5758f81332aade9fe3bdb0cb689 | treesnapshot (tar.gz zip) |
| parent | e1eb4441733ca9b80faf4f51a29418d720014ae1 | commitdiff |
[Ada] Optimize away certain elaboration checks
gcc/ada/
* checks.adb (Install_Primitive_Elaboration_Check): Do not
generate elaboration checks for primitives if pragma Pure or
Preelaborate is present. Misc comment fixes, including
referring to the correct kind of check (elaboration, not
accessibility).
* checks.ads, restrict.adb, sem_cat.ads, sinfo.ads: Minor
reformatting and comment fixes.
gcc/ada/
* checks.adb (Install_Primitive_Elaboration_Check): Do not
generate elaboration checks for primitives if pragma Pure or
Preelaborate is present. Misc comment fixes, including
referring to the correct kind of check (elaboration, not
accessibility).
* checks.ads, restrict.adb, sem_cat.ads, sinfo.ads: Minor
reformatting and comment fixes.