]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Make Original_Aspect_Pragma_Name more precise
authorTucker Taft <taft@adacore.com>
Tue, 13 Sep 2022 13:28:42 +0000 (15:28 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 26 Sep 2022 09:02:30 +0000 (11:02 +0200)
commit91c706565f941ac7d317951cf3ab186f197252f0
tree9edcbfe1f04aca3ede4c097f7f0abe733a7e14cf
parent4450567167e126051e3100de682e09f0902a2106
ada: Make Original_Aspect_Pragma_Name more precise

This commit makes Original_Aspect_Pragma_Name more precise in cases
where there is a second level of indirection caused by pragmas being
turned into Check pragmas.

gcc/ada/

* sem_util.adb (Original_Aspect_Pragma_Name): Check for Check
pragmas.
gcc/ada/sem_util.adb