This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r229331 - in /trunk/gcc/ada: ChangeLog a-nudira...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 26 Oct 2015 11:17:44 -0000
- Subject: r229331 - in /trunk/gcc/ada: ChangeLog a-nudira...
Author: charlet
Date: Mon Oct 26 11:17:42 2015
New Revision: 229331
URL: https://gcc.gnu.org/viewcvs?rev=229331&root=gcc&view=rev
Log:
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Expand_N_Case_Expression): In the scope of a
predicate function, delay the expansion of the expression only
if the target type has a specified Static_ Predicate aspect,
because the expression is processed later. A dynamic predicate
must be expanded in standard fashion.
2015-10-26 Claire Dross <dross@adacore.com>
* a-nudira.ads: Remove SPARK_Mode as it currently causes an error.
2015-10-26 Arnaud Charlet <charlet@adacore.com>
* sem_aggr.adb, sem_type.adb, sem_ch12.adb, sem_res.adb, sem_ch4.adb,
sem_ch8.adb, exp_aggr.adb, sem_eval.adb, s-fatgen.adb, a-tienio.adb:
Fix typos.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): The processing
for aspects Abstract_State, Ghost, Initial_Condition, Initializes
and Refined_State no longer have to take SPARK_Mode into account.
(Insert_After_SPARK_Mode): Removed.
(Insert_Pragma): Update profile and comment on usage. The routine can
now insert a pragma after the "header" of an instance.
* sem_prag.adb (Analyze_If_Available): New routine.
(Analyze_Pragma): Do not reset the Analyzed flag of various
SPARK pragmas as they use the Is_Analyzed_Pragma attribute to
avoid reanalysis. Various pragmas now trigger the analysis
of related pragmas that depend on or are dependent on the
current pragma. Remove the declaration order checks related
to pragmas Abstract_State, Initial_Condition and Initializes.
(Analyze_Pre_Post_Condition): Analyze pragmas SPARK_Mode and
Volatile_Function prior to analyzing the pre/postcondition.
(Check_Declaration_Order): Removed.
(Check_Distinct_Name): Ensure that a potentially duplicated pragma
Test_Case is not the pragma being analyzed.
(Is_Followed_By_Pragma): Removed.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-nudira.adb
trunk/gcc/ada/a-nudira.ads
trunk/gcc/ada/a-tienio.adb
trunk/gcc/ada/exp_aggr.adb
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/s-fatgen.adb
trunk/gcc/ada/sem_aggr.adb
trunk/gcc/ada/sem_ch12.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch4.adb
trunk/gcc/ada/sem_ch8.adb
trunk/gcc/ada/sem_eval.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_type.adb