diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:24:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-18 12:24:03 +0200 |
| commit | 933aa0ac81ee62b104969294ce6ab117e1602968 (patch) | |
| tree | 0cfd598972f4170dce02fa02318a0039fa66b807 /gcc/tree-chkp-opt.c | |
| parent | 4179af278f73fc12431fc749bda65fbbf4752602 (diff) | |
| download | gcc-933aa0ac81ee62b104969294ce6ab117e1602968.zip gcc-933aa0ac81ee62b104969294ce6ab117e1602968.tar.gz gcc-933aa0ac81ee62b104969294ce6ab117e1602968.tar.bz2 | |
[multiple changes]
2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Is_Protected_Operation_Call):
Add guards to account for a non-decorated selected component.
2016-04-18 Yannick Moy <moy@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Improve
implementation of Body_Has_SPARK_Mode_On.
* sem_prag.adb, sem_prag.ads (Get_SPARK_Mode_From_Annotation):
New function replacing previous Get_SPARK_Mode_From_Pragma, that
deals also with aspects.
(Get_SPARK_Mode_Type): Make function internal again.
* inline.adb, sem_ch7.adb, sem_util.adb: Use new
Get_SPARK_Mode_From_Annotation.
From-SVN: r235116
Diffstat (limited to 'gcc/tree-chkp-opt.c')
0 files changed, 0 insertions, 0 deletions