diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-02 11:59:32 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-02 11:59:32 +0200 |
| commit | 5b5588dd53fd0da82e406f5de6e9f189f89f1b1a (patch) | |
| tree | d6a82cb47f4f512aaf1cf08fce7c897f5ef759be /gcc/tree.c | |
| parent | bd603506f6e92d29abc1f975ad7d356907ba25c2 (diff) | |
| download | gcc-5b5588dd53fd0da82e406f5de6e9f189f89f1b1a.zip gcc-5b5588dd53fd0da82e406f5de6e9f189f89f1b1a.tar.gz gcc-5b5588dd53fd0da82e406f5de6e9f189f89f1b1a.tar.bz2 | |
[multiple changes]
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.
From-SVN: r178460
Diffstat (limited to 'gcc/tree.c')
0 files changed, 0 insertions, 0 deletions