diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-07-16 14:12:13 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:12:13 +0000 |
| commit | afe9c53918d14a5ef8807ea4284512dd94e4c15d (patch) | |
| tree | 68e9262e2bd4131165245008976986e2eb5dab70 /gcc/ada/contracts.adb | |
| parent | 4dd2ed1495378681b58c2e7ff5c1cc5511882a2d (diff) | |
| download | gcc-afe9c53918d14a5ef8807ea4284512dd94e4c15d.zip gcc-afe9c53918d14a5ef8807ea4284512dd94e4c15d.tar.gz gcc-afe9c53918d14a5ef8807ea4284512dd94e4c15d.tar.bz2 | |
[Ada] Deep copy operands of membership operations for unnesting
2018-07-16 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* exp_ch4.adb (Expand_Set_Membership): Use New_Copy_Tree to perform a
deep copy of the left operand when building each conjuct of the
expanded membership operation, to avoid sharing nodes between them.
This sharing interferes with the unnesting machinery and is generally
undesirable.
From-SVN: r262727
Diffstat (limited to 'gcc/ada/contracts.adb')
0 files changed, 0 insertions, 0 deletions