This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r206993 - in /trunk/gcc/ada: ChangeLog opt.adb ...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 23 Jan 2014 17:06:30 -0000
- Subject: r206993 - in /trunk/gcc/ada: ChangeLog opt.adb ...
Author: charlet
Date: Thu Jan 23 17:06:29 2014
New Revision: 206993
URL: http://gcc.gnu.org/viewcvs?rev=206993&root=gcc&view=rev
Log:
2014-01-23 Robert Dewar <dewar@adacore.com>
* opt.adb (Register_Opt_Config_Switches): Save SPARK_Mode_Pragma
setting.
2014-01-23 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Potentially_Unevaluated): Predicate only
applies to expressions that come from source.
* sem_attr.adb (Analyze_Attribute, case 'Old): Improve error
message.
(Analyze_Attribute, case 'Loop_Entry): Apply SPARK 2014 legality
rule regarding potentially unevaluated expressions, to prefix
of attribute.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/opt.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_util.adb