aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface/a-assert.adb
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2021-01-06 12:04:56 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>2021-05-04 05:17:32 -0400
commit86a9605014f424c556032c2c1586cbfbc4b72131 (patch)
tree24632c344b8f3828ec2dfdc60b45ba5d5b8f7c5d /gcc/ada/gcc-interface/a-assert.adb
parent2d5e5d89add24b9f987646c83db4639c77132be2 (diff)
downloadgcc-86a9605014f424c556032c2c1586cbfbc4b72131.zip
gcc-86a9605014f424c556032c2c1586cbfbc4b72131.tar.gz
gcc-86a9605014f424c556032c2c1586cbfbc4b72131.tar.bz2
[Ada] Reuse Is_Formal_Object where convenient
gcc/ada/ * exp_prag.adb, sem_prag.adb: Replace low-level Ekind membership tests with a high-level call to Is_Formal_Object.
Diffstat (limited to 'gcc/ada/gcc-interface/a-assert.adb')
0 files changed, 0 insertions, 0 deletions