This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r211615 - in /trunk/gcc/ada: ChangeLog freeze.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 13 Jun 2014 09:51:30 -0000
- Subject: r211615 - in /trunk/gcc/ada: ChangeLog freeze.a...
Author: charlet
Date: Fri Jun 13 09:51:30 2014
New Revision: 211615
URL: https://gcc.gnu.org/viewcvs?rev=211615&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/sem_prag.adb