From: Ed Schonberg Date: Mon, 16 Jul 2018 14:12:13 +0000 (+0000) Subject: [Ada] Deep copy operands of membership operations for unnesting X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=afe9c53918d14a5ef8807ea4284512dd94e4c15d;p=gcc.git [Ada] Deep copy operands of membership operations for unnesting 2018-07-16 Ed Schonberg 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 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8b79b00a0e8..22fc57b8752 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2018-07-16 Ed Schonberg + + * 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. + 2018-07-16 Ed Schonberg * exp_unst.adb (Visit_Node): Handle 'Address references that are diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index a98ffb3df73..8dad953025b 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -12248,7 +12248,7 @@ package body Exp_Ch4 is function Make_Cond (Alt : Node_Id) return Node_Id is Cond : Node_Id; - L : constant Node_Id := New_Copy (Lop); + L : constant Node_Id := New_Copy_Tree (Lop); R : constant Node_Id := Relocate_Node (Alt); begin