]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4183b13) | patch
ada: Create a ghost region for pragma annotate
authorViljar Indus <indus@adacore.com>
Fri, 22 Aug 2025 08:31:56 +0000 (11:31 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 11 Sep 2025 09:10:49 +0000 (11:10 +0200)
commitb69dbe06f91248457e7b532d5c8fffc4f73b1f76
treeab78c38e6d0bc424ef487d6672b491ab3ee6643etree
parent4183b13f048bec3985799a2aa4fe94f9770c7070commit | diff
ada: Create a ghost region for pragma annotate

Create a ghost region for pragma annotate so that we are able to analyze
the entity references correctly inside the pragma.

gcc/ada/ChangeLog:

* sem_prag.adb: Create a ghost region for pragma annotate before
analyzing its arguments.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git