projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42b91d9) | patch
[Ada] Compiler crash on assertion pragma in ghost region
authorJustin Squirek <squirek@adacore.com>
Tue, 6 Oct 2020 19:01:15 +0000 (15:01 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:16:06 +0000 (05:16 -0500)
commit78004c41f7830fcef5bdefeec8edad6737c2af1a
treef561eb1ec035aeb4e050587df444dde62c62185atree
parent42b91d9a746aa1736de6876a34b4d817591bffb1commit | diff
[Ada] Compiler crash on assertion pragma in ghost region

gcc/ada/

* sem_prag.adb (Analyze_Pragma): Mark relevant pragmas as ghost
when they are within a ghost region.
gcc/ada/sem_prag.adb diff | blob | history