projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 807b4ca) | patch
exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as null statement if ignored.
authorYannick Moy <moy@adacore.com>
Mon, 22 Apr 2013 10:58:05 +0000 (10:58 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 22 Apr 2013 10:58:05 +0000 (12:58 +0200)
commitee40cdc0f9f75125839fe7267c1fe7da2b665c42
tree2ec2991b4b703486a13a1e342cad99b4003d833atree
parent807b4ca20242c2fb813218ac9361e5e9a8aac6b5commit | diff
exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as null statement if ignored.

2013-04-22  Yannick Moy  <moy@adacore.com>

* exp_prag.adb (Expand_Pragma_Loop_Variant): Rewrite pragma as
null statement if ignored.
* sem_ch6.adb (Expand_Contract_Cases): Do nothing if pragma is ignored.
* sem_prag.adb (Analyze_Pragma): Keep analyzing ignored pragmas.

From-SVN: r198135
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_prag.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history