diff options
author | Bob Duff <duff@adacore.com> | 2021-05-19 14:24:13 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-07-07 16:23:18 +0000 |
commit | 29d3965161a8c9337a8b46019eea184ff3a6ac61 (patch) | |
tree | ff38fc921294b5758f81332aade9fe3bdb0cb689 /gcc/gimple-array-bounds.cc | |
parent | e1eb4441733ca9b80faf4f51a29418d720014ae1 (diff) | |
download | gcc-29d3965161a8c9337a8b46019eea184ff3a6ac61.zip gcc-29d3965161a8c9337a8b46019eea184ff3a6ac61.tar.gz gcc-29d3965161a8c9337a8b46019eea184ff3a6ac61.tar.bz2 |
[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.
Diffstat (limited to 'gcc/gimple-array-bounds.cc')
0 files changed, 0 insertions, 0 deletions