diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-02 15:28:12 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:28:12 +0200 |
| commit | 83f331504ee98ff8a88d47bb91ea0feafd3f97b2 (patch) | |
| tree | 71a15c33ec39eead3557d27d7b766e39978f5307 /gcc/ada/sem_ch11.adb | |
| parent | 7b98672ff9bc9b1096b604e9f900eb1692ea8bd3 (diff) | |
| download | gcc-83f331504ee98ff8a88d47bb91ea0feafd3f97b2.zip gcc-83f331504ee98ff8a88d47bb91ea0feafd3f97b2.tar.gz gcc-83f331504ee98ff8a88d47bb91ea0feafd3f97b2.tar.bz2 | |
sem_ch3.adb, [...]: Protect call to Current_Subprogram which might be costly when repeated.
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_util.adb, sem_util.ads,
sem_res.adb, sem_ch2.adb, sem_ch4.adb, sem_ch6.adb,
sem_ch11.adb: Protect call to Current_Subprogram which might be costly
when repeated. Rename Current_Subprogram_Is_Not_In_ALFA into
Mark_Non_ALFA_Subprogram_Body.
Split body of Mark_Non_ALFA_Subprogram_Body to get body small and
inlined.
From-SVN: r177182
Diffstat (limited to 'gcc/ada/sem_ch11.adb')
| -rw-r--r-- | gcc/ada/sem_ch11.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb index 73926fa..4f24112 100644 --- a/gcc/ada/sem_ch11.adb +++ b/gcc/ada/sem_ch11.adb @@ -443,7 +443,7 @@ package body Sem_Ch11 is P : Node_Id; begin - Current_Subprogram_Body_Is_Not_In_ALFA; + Mark_Non_ALFA_Subprogram_Body; Check_SPARK_Restriction ("raise statement is not allowed", N); Check_Unreachable_Code (N); @@ -611,7 +611,7 @@ package body Sem_Ch11 is -- Start of processing for Analyze_Raise_xxx_Error begin - Current_Subprogram_Body_Is_Not_In_ALFA; + Mark_Non_ALFA_Subprogram_Body; Check_SPARK_Restriction ("raise statement is not allowed", N); if No (Etype (N)) then |