diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-03-04 17:46:30 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-16 08:42:02 +0000 |
| commit | 07ee67a44d90380c3ab13587dd7d3f4714379d1f (patch) | |
| tree | cf31ed675c0a9d58f9999b3a3843e623425282df /gcc/ada/cstreams.c | |
| parent | ca32b29ec3e92dcf8dda5c2501d0baf9dd1cb09d (diff) | |
| download | gcc-07ee67a44d90380c3ab13587dd7d3f4714379d1f.zip gcc-07ee67a44d90380c3ab13587dd7d3f4714379d1f.tar.gz gcc-07ee67a44d90380c3ab13587dd7d3f4714379d1f.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions