[Ada] Add utility function to recognize attribute 'Loop_Entry
authorYannick Moy <moy@adacore.com>
Tue, 19 May 2020 14:11:28 +0000 (16:11 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:51 +0000 (10:55 -0400)
commitc1fece377a93b1809243280fcbe01b143f105c9c
tree38d9a16399e332804a3f4ebd08bf74263545d1d2
parent01f27c64770ae34cb659679e2c25f2fea44fbbb6
[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.
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads