OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/34138 (verify_ssa failed (found real variable when subvariables should have appeared)) 

2007-12-05  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/34138
	* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
	Do not forward propagate addresses if that changes volatileness of
	the pointed-to type.

	* gcc.c-torture/compile/pr34138.c: New testcase.

From-SVN: r130632
This commit is contained in:
Richard Guenther 2007-12-05 21:45:15 +00:00 committed by Richard Biener
parent 60332588d6
commit 39be21dd5a
4 changed files with 37 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2007-12-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34138
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Do not forward propagate addresses if that changes volatileness of
the pointed-to type.
2007-12-05 Uros Bizjak <ubizjak@gmail.com>
PR target/34312

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2007-12-05 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34138
* gcc.c-torture/compile/pr34138.c: New testcase.
2007-12-05 Jakub Jelinek <jakub@redhat.com>
PR debug/33739

21
gcc/testsuite/gcc.c-torture/compile/pr34138.c Normal file
View File

@ -0,0 +1,21 @@
extern void free (void *__ptr);
struct shparam
{
char **p;
int foo;
};
static struct shparam shellparam;
inline void freeparam (volatile struct shparam *param, char **ap)
{
free ((void *) (*ap));
free ((void *) (param->p));
}
void dotcmd (char **p)
{
freeparam (&shellparam, p);
}
void evaltree (void)
{
void (*evalfn) (char **);
evalfn = dotcmd;
}

5
gcc/tree-ssa-forwprop.c
View File

@ -956,12 +956,15 @@ tree_ssa_forward_propagate_single_use_vars (void)
}
if (TREE_CODE (rhs) == ADDR_EXPR
/* We can also disregard changes in CV qualifiers for
/* We can also disregard changes in const qualifiers for
the dereferenced value. */
|| ((TREE_CODE (rhs) == NOP_EXPR
|| TREE_CODE (rhs) == CONVERT_EXPR)
&& TREE_CODE (TREE_OPERAND (rhs, 0)) == ADDR_EXPR
&& POINTER_TYPE_P (TREE_TYPE (rhs))
/* But do not propagate changes in volatileness. */
&& (TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (rhs)))
== TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (TREE_OPERAND (rhs, 0)))))
&& types_compatible_p (TREE_TYPE (TREE_TYPE (TREE_OPERAND (rhs, 0))),
TREE_TYPE (TREE_TYPE (rhs)))))
{