diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-09-17 08:01:23 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-17 08:01:23 +0000 |
| commit | ee7c961db9da34d3e437eba0088f7291a7a5dfb4 (patch) | |
| tree | 3b2d41314d94f44d3342e2258f34eadb4956cc3f /gcc/ada/terminals.c | |
| parent | cbb0b55385692dca6898a2668766f17ea42c4d2e (diff) | |
| download | gcc-ee7c961db9da34d3e437eba0088f7291a7a5dfb4.zip gcc-ee7c961db9da34d3e437eba0088f7291a7a5dfb4.tar.gz gcc-ee7c961db9da34d3e437eba0088f7291a7a5dfb4.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/terminals.c')
0 files changed, 0 insertions, 0 deletions