diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-15 09:05:07 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-15 09:05:07 +0000 |
| commit | 469bbc181632d0bf02cb62cd04013e26457bc5d5 (patch) | |
| tree | 52201626abb84b459a35501a273881a6f05bc0ce /gcc/ada/sem_prag.ads | |
| parent | 3aa65dabba0b5d89dc9f3dfd9c2ff1a79f3654b4 (diff) | |
| download | gcc-469bbc181632d0bf02cb62cd04013e26457bc5d5.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185417 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_prag.ads')
0 files changed, 0 insertions, 0 deletions