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-Tag: basepoints/gcc-10~5337 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=afe9c53918d14a5ef8807ea4284512dd94e4c15d;p=thirdparty%2Fgcc.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 8b79b00a0e83..22fc57b87520 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 a98ffb3df737..8dad953025bb 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