projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5b4b6b) | patch
[Ada] Non-static Interrupt_Priority allowed with restriction Static_Priorities
authorJustin Squirek <squirek@adacore.com>
Sun, 28 Feb 2021 00:09:48 +0000 (19:09 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Jun 2021 08:43:01 +0000 (04:43 -0400)
commitc5dc00ef38d2c3ac647726b0215888f75b0e4d9c
tree9196c769bfeca31cece20a6f4690dad5469059edtree | snapshot
parentf5b4b6bf14a571df07021936c29b4773beb80324commit | diff
[Ada] Non-static Interrupt_Priority allowed with restriction Static_Priorities

gcc/ada/

* sem_ch13.adb (Make_Aitem_Pragma): Check for static expressions
in Priority aspect arguments for restriction Static_Priorities.
gcc/ada/sem_ch13.adb diff | blob | history
Domain: System / Toolchain;