diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-03 15:14:04 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-03 17:14:04 +0200 |
| commit | 5e8c8e4457de992f8f7081f20aaf11778656d344 (patch) | |
| tree | d4940852674b8fa0e79a064ca50828cda92256d1 /gcc/ada/prj.adb | |
| parent | 5ffe0bab81981655b009617fc7041a818fee1d89 (diff) | |
| download | gcc-5e8c8e4457de992f8f7081f20aaf11778656d344.zip gcc-5e8c8e4457de992f8f7081f20aaf11778656d344.tar.gz gcc-5e8c8e4457de992f8f7081f20aaf11778656d344.tar.bz2 | |
sem_ch11.adb (Analyze_Raise_xxx_Error): do not mark such nodes as not in ALFA.
2011-08-03 Yannick Moy <moy@adacore.com>
* sem_ch11.adb (Analyze_Raise_xxx_Error): do not mark such nodes as not
in ALFA. Instead, they are considered as assertions to prove.
* sem_ch4.adb (Analyze_Conditional_Expression): do not always mark such
nodes as not in ALFA. Instead, include conditional expressions in ALFA
if they have no ELSE part, or if they occur in pre- and postconditions,
where the Condition cannot have side-effects in ALFA
(Analyze_Membership_Op): do not mark such nodes as not in ALFA
(Analyze_Type_Conversion): do not always mark such nodes as not in ALFA.
Instead, include type conversion between scalar types in ALFA.
* sem_ch6.adb (Process_Formals): correctly mark a parameter in ALFA
if-and-only-if its type is in ALFA.
From-SVN: r177285
Diffstat (limited to 'gcc/ada/prj.adb')
0 files changed, 0 insertions, 0 deletions