diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-05-30 08:57:26 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-30 08:57:26 +0000 |
| commit | 81c8f261d7c09b5dff140a604f0743f75827c647 (patch) | |
| tree | d5ec30ba775cb4411fa921626f37ecff5482647d /gcc | |
| parent | 56a05ce0839d83fbbbc7e57d085ca483b884b805 (diff) | |
| download | gcc-81c8f261d7c09b5dff140a604f0743f75827c647.zip gcc-81c8f261d7c09b5dff140a604f0743f75827c647.tar.gz gcc-81c8f261d7c09b5dff140a604f0743f75827c647.tar.bz2 | |
[Ada] Simplify conditions by removing always true conjuncts
Checking "Original_Node (N) /= N" is equivalent to "Is_Rewrite_Substitution
(N)", which is checked just two lines before. Trivial simplification,
semantics unaffected.
2018-05-30 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Remove conjuncts that are always true.
From-SVN: r260934
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_prag.adb | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index e14d14e..c6bd08b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-05-30 Piotr Trojanek <trojanek@adacore.com> + + * sem_prag.adb (Analyze_Pragma): Remove conjuncts that are always true. + 2018-05-30 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Is_Atomic_Object): Cleaned up. Split the entity logic diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index ae340aa..4547ef1 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -11104,7 +11104,7 @@ package body Sem_Prag is -- Here to start processing for recognized pragma - Pname := Original_Aspect_Pragma_Name (N); + Pname := Original_Aspect_Pragma_Name (N); -- Capture setting of Opt.Uneval_Old @@ -11135,7 +11135,6 @@ package body Sem_Prag is elsif Is_Rewrite_Substitution (N) and then Nkind (Original_Node (N)) = N_Pragma - and then Original_Node (N) /= N then Set_Is_Ignored (N, Is_Ignored (Original_Node (N))); Set_Is_Checked (N, Is_Checked (Original_Node (N))); @@ -13293,7 +13292,6 @@ package body Sem_Prag is elsif Is_Rewrite_Substitution (N) and then Nkind (Original_Node (N)) = N_Pragma - and then Original_Node (N) /= N then Set_Is_Ignored (N, Is_Ignored (Original_Node (N))); Set_Is_Checked (N, Is_Checked (Original_Node (N))); |