diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-15 10:05:07 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-03-15 10:05:07 +0100 |
| commit | 22f46473c7f98a4f414db8728ba64a60a6e23a16 (patch) | |
| tree | 52201626abb84b459a35501a273881a6f05bc0ce /gcc/tree-vrp.c | |
| parent | a59205fa161b77c89cb8cfb0a4d10bab5f9a257a (diff) | |
| download | gcc-22f46473c7f98a4f414db8728ba64a60a6e23a16.zip gcc-22f46473c7f98a4f414db8728ba64a60a6e23a16.tar.gz gcc-22f46473c7f98a4f414db8728ba64a60a6e23a16.tar.bz2 | |
[multiple changes]
2012-03-15 Hristian Kirtchev <kirtchev@adacore.com>
* exp_util.adb (Initialized_By_Ctrl_Function): Do not loop over
selector names as the function call always appears at the top selected
component.
2012-03-15 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Validate_Access_Subprogram_Instance): keep
Mode_Conformance check for older versions of the language.
2012-03-15 Yannick Moy <moy@adacore.com>
* gnat_ugn.texi Document the extension of option -gnatw.t.
* sem_ch3.adb (Analyze_Declaration): Check for suspicious
contracts only after contract cases have been semantically
analyzed.
* sem_ch6.adb (Check_Subprogram_Contract): Consider also Ensures
components of contract cases for detecting suspicious contracts.
From-SVN: r185417
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions