diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-06-13 09:51:30 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-06-13 11:51:30 +0200 |
| commit | c00b86e2c30d599d4f6893ac09fca13b17dde96c (patch) | |
| tree | 8ac6fe0159c6de9e241a8a39c5160ee40c9a5535 /gcc/passes.c | |
| parent | e3a325f2f013b6f934863fcd4187154666f84237 (diff) | |
| download | gcc-c00b86e2c30d599d4f6893ac09fca13b17dde96c.zip gcc-c00b86e2c30d599d4f6893ac09fca13b17dde96c.tar.gz gcc-c00b86e2c30d599d4f6893ac09fca13b17dde96c.tar.bz2 | |
freeze.adb (Freeze_Entity): Remove the check concerning volatile types in SPARK as it is poorly placed and...
2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Entity): Remove the check concerning volatile
types in SPARK as it is poorly placed and poorly formulated. The
check was flagging ALL volatile entities as illegal in SPARK.
* sem_prag.adb (Process_Atomic_Shared_Volatile): Flag volatile
types as illegal in SPARK.
From-SVN: r211615
Diffstat (limited to 'gcc/passes.c')
0 files changed, 0 insertions, 0 deletions