diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-07 15:41:01 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-07 15:41:01 +0100 |
| commit | 62db841a08b9e833bd30e5fe7d8de00d5a250b74 (patch) | |
| tree | 895895858110ae4ed50073328eea01ef10829257 /gcc/tree-ssa-phiopt.c | |
| parent | de94a7e7ff8664d90954bd93f60b5fa2a1b20422 (diff) | |
| download | gcc-62db841a08b9e833bd30e5fe7d8de00d5a250b74.zip gcc-62db841a08b9e833bd30e5fe7d8de00d5a250b74.tar.gz gcc-62db841a08b9e833bd30e5fe7d8de00d5a250b74.tar.bz2 | |
[multiple changes]
2012-03-07 Ed Schonberg <schonberg@adacore.com>
* checks.adb (Apply_Predicate_Check): Do not generate a predicate
check is the context is an internally generated type-specific
function.
* sem_ch6.adb (Process_PPCs); the formals of internally generated
type-specific functions do not get assertion checks.
2012-03-07 Yannick Moy <moy@adacore.com>
* gnat_rm.texi: Minor renaming of title.
* gnat_ugn.texi: Minor correction.
2012-03-07 Vincent Pucci <pucci@adacore.com>
* exp_ch4.adb (Expand_N_Quantified_Expression): Minor
reformating.
* sem_ch4.adb (Analyze_Quantified_Expression): Creation and
analysis of the iteration scheme added in all cases.
* sem_ch5.adb (Analyze_Iteration_Scheme): Minor reformating.
(Analyze_Iterator_Specification): Minor reformating.
* sem_res.adb (Resolve_Quantified_Expression): Resolution of
the condition added in all cases.
From-SVN: r185050
Diffstat (limited to 'gcc/tree-ssa-phiopt.c')
0 files changed, 0 insertions, 0 deletions