diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-02-20 12:10:53 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:34:57 -0400 |
| commit | 3ea95664954775a1a85c9ea097877754984807aa (patch) | |
| tree | 947786978b4235ed7ff387acb9b2abddbbe6346d /gcc/ada/debug.adb | |
| parent | 414e7520e608aaef1cac17bfeddd13af893ef81c (diff) | |
| download | gcc-3ea95664954775a1a85c9ea097877754984807aa.zip gcc-3ea95664954775a1a85c9ea097877754984807aa.tar.gz gcc-3ea95664954775a1a85c9ea097877754984807aa.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions