projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbb0b55) | patch
[Ada] A new utility routine for detecting attribute 'Old
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 17 Sep 2019 08:01:23 +0000 (08:01 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Sep 2019 08:01:23 +0000 (08:01 +0000)
commitee7c961db9da34d3e437eba0088f7291a7a5dfb4
tree3b2d41314d94f44d3342e2258f34eadb4956cc3ftree
parentcbb0b55385692dca6898a2668766f17ea42c4d2ecommit | diff
[Ada] A new utility routine for detecting attribute 'Old

Add a utility routine for detecting attribute 'Old. It will be
immediately reused in the GNATprove backend.

2019-09-17  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_util.ads, sem_util.adb (Is_Attribute_Old): New utility
routine.

From-SVN: r275780
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history