projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 414e752) | patch
[Ada] Simplify detection of static membership choices
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 20 Feb 2020 11:10:53 +0000 (12:10 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Jun 2020 13:34:57 +0000 (09:34 -0400)
commit3ea95664954775a1a85c9ea097877754984807aa
tree947786978b4235ed7ff387acb9b2abddbbe6346dtree
parent414e7520e608aaef1cac17bfeddd13af893ef81ccommit | diff
[Ada] Simplify detection of static membership choices

2020-06-10  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_ch13.adb (All_Membership_Choices_Static): Assert an AST
property documented in sinfo.ads and simplify an excessive
condition.
gcc/ada/sem_ch13.adb diff | blob | history