diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 15:21:34 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 15:21:34 +0200 |
| commit | 804fc056d55a4098d7a4a1fc895579aaf1bb3080 (patch) | |
| tree | 3e50d4f87942db537688cbf1da9753c4af48b621 /gcc/tree-vect-loop-manip.c | |
| parent | a91e9ac73ddc90a31f5f9afcbc73558cb0e56006 (diff) | |
| download | gcc-804fc056d55a4098d7a4a1fc895579aaf1bb3080.zip gcc-804fc056d55a4098d7a4a1fc895579aaf1bb3080.tar.gz gcc-804fc056d55a4098d7a4a1fc895579aaf1bb3080.tar.bz2 | |
[multiple changes]
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.
From-SVN: r191921
Diffstat (limited to 'gcc/tree-vect-loop-manip.c')
0 files changed, 0 insertions, 0 deletions