Full Text Bug Listing

------- Comment #2 From glen@imodulo.com 2003-03-11 12:47 -------

From: Glen Nakamura <glen@imodulo.com>
To: gcc-gnats@gcc.gnu.org
Cc:  
Subject: Re: c/9853: [3.2/3.3/3.4 regression] miscompilation of non-constant structure initializer
Date: Tue, 11 Mar 2003 12:47:31 -1000

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9853

 Also, as a note to anyone looking at this PR, notice how many unnecessary
 temporaries are used in the test case.  The generated code is quite awful.
 A quick search returned PR opt/9540 relating to this issue:
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9540

------- Comment #3 From glen@imodulo.com 2003-03-11 21:27 -------

From: Glen Nakamura <glen@imodulo.com>
To: gcc-gnats@gcc.gnu.org, gcc-bugs@gcc.gnu.org,
	mas@systems.caltech.edu
Cc:  
Subject: Re: c/9853: [3.2/3.3/3.4 regression] miscompilation of non-constant structure initializer
Date: Tue, 11 Mar 2003 21:27:44 +0000

 --yrj/dFKFPuw6o+aM
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9853
 
 After looking at the test case for PR c/9853, I believe the problem deals
 with assigning and freeing temp slots while emitting the initializer.
 In this case, the temp slot created by assign_temp in expand_expr (expr.c:7087)
 is freed early by free_temp_slots in expand_decl_init (stmt.c:4061) and then
 overwritten when a new temp slot is allocated.
 
 I don't really understand how the different temp slot functions are intended
 to be used, but the call to free_temp_slots at the end of expand_decl_init
 didn't make sense to me because expand_assignment manages its own temp slots
 using the push/free/pop functions.  Anyway, the following patch fixes the
 problem (bootstrapped and regtested on i686-pc-linux-gnu 3.3 branch):
 
 	* stmt.c (expand_decl_init): Remove redundant call to free_temp_slots.
 
 diff -Nru3p gcc-3.3.orig/gcc/stmt.c gcc-3.3/gcc/stmt.c
 --- gcc-3.3.orig/gcc/stmt.c	2003-02-22 10:04:10.000000000 +0000
 +++ gcc-3.3/gcc/stmt.c	2003-02-22 10:04:10.000000000 +0000
 @@ -4055,10 +4055,6 @@ expand_decl_init (decl)
  
    /* Don't let the initialization count as "using" the variable.  */
    TREE_USED (decl) = was_used;
 -
 -  /* Free any temporaries we made while initializing the decl.  */
 -  preserve_temp_slots (NULL_RTX);
 -  free_temp_slots ();
  }
  
  /* CLEANUP is an expression to be executed at exit from this binding contour;
 
 
 
 Although the above patch fixes the problem, perhaps changing the keep argument
 to the assign_temp in expand_expr would be safer?  I'll let someone who
 understands the temp slot functions better decide.
 
 diff -Nru10p gcc-3.3.orig/gcc/expr.c gcc-3.3/gcc/expr.c
 --- gcc-3.3.orig/gcc/expr.c	2003-03-05 00:14:33.000000000 +0000
 +++ gcc-3.3/gcc/expr.c	2003-03-05 00:14:33.000000000 +0000
 @@ -7082,21 +7082,21 @@ expand_expr (exp, target, tmode, modifie
  	  /* Handle calls that pass values in multiple non-contiguous
  	     locations.  The Irix 6 ABI has examples of this.  */
  	  if (target == 0 || ! safe_from_p (target, exp, 1)
  	      || GET_CODE (target) == PARALLEL
  	      || modifier == EXPAND_STACK_PARM)
  	    target
  	      = assign_temp (build_qualified_type (type,
  						   (TYPE_QUALS (type)
  						    | (TREE_READONLY (exp)
  						       * TYPE_QUAL_CONST))),
 -			     0, TREE_ADDRESSABLE (exp), 1);
 +			     1, TREE_ADDRESSABLE (exp), 1);
  
  	  store_constructor (exp, target, 0, int_expr_size (exp));
  	  return target;
  	}
  
      case INDIRECT_REF:
        {
  	tree exp1 = TREE_OPERAND (exp, 0);
  	tree index;
  	tree string = string_constant (exp1, &index);
 
 --yrj/dFKFPuw6o+aM
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: attachment; filename="testcase.c"
 
 /* PR c/9853 */
 /* Contributed by Srinivas Aji <mas@systems.caltech.edu> */
 
 extern void abort (void);
 
 struct box_group
 {
   int a, b, c, d;
 };
 
 struct test_struct
 {
   int id;
   struct box_group elem1;
   struct box_group elem2;
 };
 
 int my_zero (void)
 {
   return 0;
 }
 
 int main ()
 {
   struct test_struct x = {
     .id = my_zero (),
     .elem1 = (struct box_group) {1, 2, 3, 4},
     .elem2 = (struct box_group) {5, 6, 7, 8},
   };
   if ((x.id != 0) || (x.elem1.a != 1) || (x.elem1.b != 2)
       || (x.elem1.c != 3) || (x.elem1.d != 4) || (x.elem2.a != 5)
       || (x.elem2.b != 6) || (x.elem2.c != 7) || (x.elem2.d != 8))
     abort ();
   return 0;
 }
 
 --yrj/dFKFPuw6o+aM--

------- Comment #5 From Daniel Jacobowitz 2003-03-12 16:52 -------

From: drow@gcc.gnu.org
To: gcc-gnats@gcc.gnu.org
Cc:  
Subject: c/9853
Date: 12 Mar 2003 16:52:01 -0000

 CVSROOT:	/cvs/gcc
 Module name:	gcc
 Branch: 	gcc-3_3-branch
 Changes by:	drow@gcc.gnu.org	2003-03-12 16:52:01
 
 Modified files:
 	gcc            : ChangeLog stmt.c 
 
 Log message:
 	Fix PR target/9797 and PR c/9853.
 	* stmt.c (expand_decl_init): Call push_temp_slots () and
 	pop_temp_slots ().
 
 Patches:
 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.16114.2.289&r2=1.16114.2.290
 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/stmt.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.276.2.3&r2=1.276.2.4

------- Comment #7 From Gabriel Dos Reis 2003-03-14 14:33 -------

From: Gabriel Dos Reis <gdr@integrable-solutions.net>
To: drow@sources.redhat.com
Cc: gcc-bugs@gcc.gnu.org, mas@magica.systems.caltech.edu,
   gcc-gnats@gcc.gnu.org
Subject: Re: c/9853: [3.2 regression] miscompilation of non-constant structure initializer
Date: 14 Mar 2003 14:33:08 +0100

 drow@sources.redhat.com writes:

 | Old Synopsis: [3.2/3.3/3.4 regression] miscompilation of non-constant structure initializer
 | New Synopsis: [3.2 regression] miscompilation of non-constant structure initializer
 | 
 | Responsible-Changed-From-To: unassigned->drow
 | Responsible-Changed-By: drow
 | Responsible-Changed-When: Wed Mar 12 17:15:38 2003
 | Responsible-Changed-Why:
 |     I've checked in a fix to 3.3 and 3.4, so I'm changing the
 |     title.  The testcase from this bug still should be checked
 |     in; the patch from this bug may be better than mine; and 3.2
 |     is still unaddressed.

 Is there a chance to have your patch backported to 3.2 branch?

 Thanks,

 -- Gaby

------- Comment #8 From Daniel Jacobowitz 2003-03-23 23:02 -------

From: Daniel Jacobowitz <drow@mvista.com>
To: Gabriel Dos Reis <gdr@integrable-solutions.net>
Cc: gcc-bugs@gcc.gnu.org, mas@magica.systems.caltech.edu,
	gcc-gnats@gcc.gnu.org
Subject: Re: c/9853: [3.2 regression] miscompilation of non-constant structure initializer
Date: Sun, 23 Mar 2003 23:02:19 -0500

 On Fri, Mar 14, 2003 at 02:33:08PM +0100, Gabriel Dos Reis wrote:
 > drow@sources.redhat.com writes:
 > 
 > | Old Synopsis: [3.2/3.3/3.4 regression] miscompilation of non-constant structure initializer
 > | New Synopsis: [3.2 regression] miscompilation of non-constant structure initializer
 > | 
 > | Responsible-Changed-From-To: unassigned->drow
 > | Responsible-Changed-By: drow
 > | Responsible-Changed-When: Wed Mar 12 17:15:38 2003
 > | Responsible-Changed-Why:
 > |     I've checked in a fix to 3.3 and 3.4, so I'm changing the
 > |     title.  The testcase from this bug still should be checked
 > |     in; the patch from this bug may be better than mine; and 3.2
 > |     is still unaddressed.
 > 
 > Is there a chance to have your patch backported to 3.2 branch?
 
 Certainly.  I'd already tested the patch on 3.2, so I'm taking this as
 approval (checked in now).
 
 -- 
 Daniel Jacobowitz
 MontaVista Software                         Debian GNU/Linux Developer

Bug#: 9853	Product: gcc	Version: 3.2
Host:	Target:	Build:
Status: RESOLVED	Severity: normal	Priority: P3
Resolution: FIXED	Assigned To: drow@gcc.gnu.org	Reported By: mas@systems.caltech.edu
Component: c		Target Milestone: ---
Summary: [3.2 regression] miscompilation of non-constant structure initializer
Keywords: wrong-code
Opened: 2003-02-26 02:26