diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 13:21:34 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 13:21:34 +0000 |
| commit | e6281d47053107016083c88e259e1451d8a2ea13 (patch) | |
| tree | 3e50d4f87942db537688cbf1da9753c4af48b621 /COPYING3.LIB | |
| parent | 2fe22c694693e247590b8cfacea752a6fb07736b (diff) | |
| download | gcc-e6281d47053107016083c88e259e1451d8a2ea13.tar.gz | |
2012-10-01 Ed Schonberg <schonberg@adacore.com>
* checks.adb (Apply_Predicate_Check): If the predicate is a
static one and the operand is static, evaluate the predicate at
compile time.
* sem_eval.ads, sem_eval.adb (Eval_Static_Predicate_Check): new
procedure, to evaluate a static predicate check whenever possible.
* sem_res.adb (Resolve_Type_Conversion): Apply predicate check
on the conversion if the target type has predicates.
2012-10-01 Vincent Pucci <pucci@adacore.com>
* sem_dim.adb (Has_Symbols): Complain if parameter Symbol has been
provided by the user in the dimension output call.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191921 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'COPYING3.LIB')
0 files changed, 0 insertions, 0 deletions