]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix handling of aspects CPU and Interrupt_Priority
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 8 Apr 2024 14:26:02 +0000 (16:26 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 10 Jun 2024 09:03:58 +0000 (11:03 +0200)
commit8d711859139753221d3eef7ba650579a9817677b
tree8b3d275aea23fdafee5efca46891296e99bf19c3
parent731824d08107075d689aec92ea564e0a3ec6d90a
ada: Fix handling of aspects CPU and Interrupt_Priority

When resolving aspect expression, aspects CPU and Interrupt_Priority
should be handled like the aspect Priority; in particular, all these
expressions can reference discriminants of the annotated task type.

gcc/ada/

* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Make
discriminants visible when analyzing aspect Interrupt_Priority.
(Freeze_Entity_Checks): Likewise.
(Resolve_Aspect_Expressions): Likewise for both aspects CPU and
Interrupt_Priority.
gcc/ada/sem_ch13.adb