diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-10-23 12:19:35 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 14:19:35 +0200 |
| commit | 576da1ea413f42fceb2294db6bc38ab38f952e1b (patch) | |
| tree | e0a7e50503fba5672f4b7d39a36b225374738a8d /gcc/ada/init.c | |
| parent | 3e5bb7eeceab11d8c3167ee03c179660c48a83dc (diff) | |
| download | gcc-576da1ea413f42fceb2294db6bc38ab38f952e1b.zip gcc-576da1ea413f42fceb2294db6bc38ab38f952e1b.tar.gz gcc-576da1ea413f42fceb2294db6bc38ab38f952e1b.tar.bz2 | |
sem_prag.adb (Analyze_Pragma): Pragma Volatile_Function should not apply to a function instantiation.
2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Pragma Volatile_Function should
not apply to a function instantiation.
* sem_util.adb (Has_Effectively_Volatile_Profile): New routine.
(Is_Volatile_Function): An instance of Ada.Unchecked_Conversion
is a volatile function when its profile contains an effectively
volatile type.
* sem_util.ads (Has_Effectively_Volatile_Profile): New routine.
From-SVN: r229238
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions