diff options
| author | Yannick Moy <moy@adacore.com> | 2020-05-19 16:11:28 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-08 10:55:51 -0400 |
| commit | c1fece377a93b1809243280fcbe01b143f105c9c (patch) | |
| tree | 38d9a16399e332804a3f4ebd08bf74263545d1d2 /gcc/ada/sinfo.ads | |
| parent | 01f27c64770ae34cb659679e2c25f2fea44fbbb6 (diff) | |
| download | gcc-c1fece377a93b1809243280fcbe01b143f105c9c.zip gcc-c1fece377a93b1809243280fcbe01b143f105c9c.tar.gz gcc-c1fece377a93b1809243280fcbe01b143f105c9c.tar.bz2 | |
[Ada] Add utility function to recognize attribute 'Loop_Entry
gcc/ada/
* sem_util.ads, sem_util.adb (Is_Attribute_Loop_Entry): New
function for GNATProve.
Diffstat (limited to 'gcc/ada/sinfo.ads')
0 files changed, 0 insertions, 0 deletions