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/ada/exp_util.adb | |
| 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/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 8ccf216..ae7f2b9 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) |