r260934 - in /trunk/gcc/ada: ChangeLog sem_prag...

Wed May 30 08:57:00 GMT 2018

Author: pmderodat
Date: Wed May 30 08:57:26 2018
New Revision: 260934

URL: https://gcc.gnu.org/viewcvs?rev=260934&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_prag.adb