| commit | c5dc00ef38d2c3ac647726b0215888f75b0e4d9c | [log] [tgz] |
|---|---|---|
| author | Justin Squirek <squirek@adacore.com> | Sat Feb 27 19:09:48 2021 -0500 |
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | Wed Jun 16 04:43:01 2021 -0400 |
| tree | 9196c769bfeca31cece20a6f4690dad5469059ed | |
| parent | f5b4b6bf14a571df07021936c29b4773beb80324 [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.