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/ada/restrict.adb | |
| 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/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 4f1dea4..d97a42e 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -396,10 +396,9 @@ package body Restrict is N : Node_Id; V : Uint := Uint_Minus_1) is - Msg_Issued : Boolean; - pragma Unreferenced (Msg_Issued); + Ignore_Msg_Issued : Boolean; begin - Check_Restriction (Msg_Issued, R, N, V); + Check_Restriction (Ignore_Msg_Issued, R, N, V); end Check_Restriction; procedure Check_Restriction |