sem_prag.adb (Analyze_Pragma, [...]): pre-analyze expression with type Any_Priority.
authorEd Schonberg <schonberg@adacore.com>
Thu, 11 Apr 2013 13:38:22 +0000 (13:38 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 11 Apr 2013 13:38:22 +0000 (15:38 +0200)
commit6188f4bd60ffffedbc1d1d0f5e79610dc2b34779
tree2d307df7c7e99e5f348221ed74ad868fb1794cbd
parentfce68ebe21414ddb666ea729f21b515c1dedd5e7
sem_prag.adb (Analyze_Pragma, [...]): pre-analyze expression with type Any_Priority.

2013-04-11  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Priority): pre-analyze
expression with type Any_Priority.
* exp_ch9.adb (Initialize_Protection): Check that the value
of the priority expression is within the bounds of the proper
priority type.

From-SVN: r197799
gcc/ada/ChangeLog
gcc/ada/exp_ch9.adb
gcc/ada/sem_prag.adb