projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a9ff8d) | patch
[Ada] Fix Is_Volatile_Function for functions declared in protected bodies
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 3 Mar 2021 20:19:39 +0000 (21:19 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Jun 2021 08:43:05 +0000 (04:43 -0400)
commitccf0dee109ba0c71ca2b6e093a874daf1671ecf0
tree422566c190c5f5def4f68f8e4eadf5b5414fa51ctree | snapshot
parent1a9ff8d39c1f5a63755f2a8bb0a982c7af4ee817commit | diff
[Ada] Fix Is_Volatile_Function for functions declared in protected bodies

gcc/ada/

* sem_util.adb (Is_Volatile_Function): Follow the exact wording
of SPARK (regarding volatile functions) and Ada (regarding
protected functions).
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;