[PATCH, PR 43141] Create ABSTRACT_ORIGIN for decls changed by IPA-SRA

[Jakub Jelinek]

On Fri, Mar 19, 2010 at 06:52:42PM +0100, Martin Jambor wrote:
> > It should be "tree-optimization".
> > 
> > >        * tree-sra.c (create_abstract_origin): New function.
> > >        (modify_function): Call create_abstract_origin.
> > >
> > 
> > Is that possible to add a testcase to gcc.dg/guality?
> > 
> 
> Can I add a guality test just to check for a presence of a declaration
> - even if we cannot determine its value?  All the guality tests I
> found verified that gdb reports that a variable has an expected value
> but no information about the value of the removed unused parameter
> (which can be anything) is stored in the debug info.

Perhaps something like:
/* { dg-final { gdb-test LINENO "sizeof (i)" "sizeof (int)" } } */
I bet with the patch reverted when i isn't in scope at all it will
fail, and succeed otherwise.

	Jakub