projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56a05ce) | patch
[Ada] Simplify conditions by removing always true conjuncts
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 30 May 2018 08:57:26 +0000 (08:57 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 30 May 2018 08:57:26 +0000 (08:57 +0000)
commit81c8f261d7c09b5dff140a604f0743f75827c647
treed5ec30ba775cb4411fa921626f37ecff5482647dtree
parent56a05ce0839d83fbbbc7e57d085ca483b884b805commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history