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/exp_util.adb | |
| 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/exp_util.adb')
| -rw-r--r-- | gcc/ada/exp_util.adb | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 8ccf21634ec..ae7f2b95467 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -3967,16 +3967,11 @@ package body Exp_Util is Expr := Name (Expr); end if; - -- The function call may appear in object.operation format. Strip - -- all prefixes and retrieve the function name. + -- The function call may appear in object.operation format - loop - if Nkind (Expr) = N_Selected_Component then - Expr := Selector_Name (Expr); - else - exit; - end if; - end loop; + if Nkind (Expr) = N_Selected_Component then + Expr := Selector_Name (Expr); + end if; return Nkind_In (Expr, N_Expanded_Name, N_Identifier) |