This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r178460 - in /trunk/gcc/ada: ChangeLog sem_ch3....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 02 Sep 2011 09:59:33 -0000
- Subject: r178460 - in /trunk/gcc/ada: ChangeLog sem_ch3....
Author: charlet
Date: Fri Sep 2 09:59:32 2011
New Revision: 178460
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178460
Log:
2011-09-02 Bob Duff <duff@adacore.com>
* sem_ch6.adb: (Check_Post_State): Suppress warning
"postcondition refers only to pre-state" when the expression has not
yet been analyzed, because it causes false alarms. This can happen when
the postcondition contains a quantified expression, because those are
analyzed later. This is a temporary/partial fix.
(Process_Post_Conditions): Minor: change wording of warning.
2011-09-02 Marc Sango <sango@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Detect the violation of
illegal use of unconstrained string type in SPARK mode.
* sem_res.adb (Analyze_Operator_Symbol): Set the
right place where the string operand of concatenation should be
violate in SPARK mode.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_res.adb