projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca32b29) | patch
[Ada] Remove duplicated code for detecting enabled pragmas
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 4 Mar 2022 16:46:30 +0000 (17:46 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:02 +0000 (08:42 +0000)
commit07ee67a44d90380c3ab13587dd7d3f4714379d1f
treecf31ed675c0a9d58f9999b3a3843e623425282dftree | snapshot
parentca32b29ec3e92dcf8dda5c2501d0baf9dd1cb09dcommit | diff
[Ada] Remove duplicated code for detecting enabled pragmas

Routines Is_Enabled and Is_Enabled_Pragma are identical (except for
comments); remove this duplication.

Cleanup related to handling of volatile refinement aspects in SPARK;
behaviour is unaffected.

gcc/ada/

* sem_util.adb (Is_Enabled): Remove; use Is_Enabled_Pragma
instead.
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;