]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07ee67a) | patch
[Ada] Clarify code for detecting volatile refinement properties
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 7 Mar 2022 13:07:15 +0000 (14:07 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:02 +0000 (08:42 +0000)
commit457fb3369aec1e9d681853bcd33d77bb8da2f8ea
tree9b56ea69647ccdaae40e18eeda4ef5ead73f82dftree
parent07ee67a44d90380c3ab13587dd7d3f4714379d1fcommit | diff
[Ada] Clarify code for detecting volatile refinement properties

Routine Type_Or_Variable_Has_Enabled_Property handles either types or
objects; replace negation with an explicit positive condition.

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

gcc/ada/

* sem_util.adb (Type_Or_Variable_Has_Enabled_Property): Clarify.
gcc/ada/sem_util.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.0584 seconds and 5 git commands to generate.