]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76645ea) | patch
2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 13 Jun 2014 09:51:30 +0000 (09:51 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 13 Jun 2014 09:51:30 +0000 (09:51 +0000)
commit18917098a92f180273c7a2c03f6068e8003e686c
tree8ac6fe0159c6de9e241a8a39c5160ee40c9a5535tree
parent76645ea42ab978048bd61b680205643a170e3574commit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211615 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/freeze.adb diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git