diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-10-07 22:12:45 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-24 05:16:05 -0500 |
| commit | 45ce2307851e8e7fc653137253c8782f734c5697 (patch) | |
| tree | 116d25e04056d7645f9eb43523468500dae2ce67 /gcc | |
| parent | 428b1317a5a94d5a99bdc617bac908cf8a10af25 (diff) | |
| download | gcc-45ce2307851e8e7fc653137253c8782f734c5697.zip gcc-45ce2307851e8e7fc653137253c8782f734c5697.tar.gz gcc-45ce2307851e8e7fc653137253c8782f734c5697.tar.bz2 | |
[Ada] Simplify Is_Loop_Pragma
gcc/ada/
* sem_prag.adb (Is_Loop_Pragma): Avoid repeated calls to
Original_Node; remove unnecessary IF statement.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index b521201..590da55 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -6194,17 +6194,15 @@ package body Sem_Prag is -------------------- function Is_Loop_Pragma (Stmt : Node_Id) return Boolean is + Original_Stmt : constant Node_Id := Original_Node (Stmt); + begin -- Inspect the original node as Loop_Invariant and Loop_Variant -- pragmas are rewritten to null when assertions are disabled. - if Nkind (Original_Node (Stmt)) = N_Pragma then - return - Pragma_Name_Unmapped (Original_Node (Stmt)) + return Nkind (Original_Stmt) = N_Pragma + and then Pragma_Name_Unmapped (Original_Stmt) in Name_Loop_Invariant | Name_Loop_Variant; - else - return False; - end if; end Is_Loop_Pragma; --------------------- |