Commit 4b1a5c0d by Richard Guenther Committed by Richard Biener

re PR debug/47283 (ICE in refs_may_alias_p_1, at tree-ssa-alias.c)

2011-03-03  Richard Guenther  <rguenther@suse.de>

	PR middle-end/47283
	* tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Make code
	match comment.
	(refs_may_alias_p_1): For release branches return true if
	we are confused by our input.

From-SVN: r170650
parent b46616fd
2011-03-03 Richard Guenther <rguenther@suse.de>
PR middle-end/47283
* tree-ssa-alias.c (ptr_deref_may_alias_decl_p): Make code
match comment.
(refs_may_alias_p_1): For release branches return true if
we are confused by our input.
2011-03-03 Andreas Krebbel <Andreas.Krebbel@de.ibm.com> 2011-03-03 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* config/s390/s390.c (s390_function_value): Rename to ... * config/s390/s390.c (s390_function_value): Rename to ...
......
...@@ -178,7 +178,7 @@ ptr_deref_may_alias_decl_p (tree ptr, tree decl) ...@@ -178,7 +178,7 @@ ptr_deref_may_alias_decl_p (tree ptr, tree decl)
|| (TREE_CODE (decl) != VAR_DECL || (TREE_CODE (decl) != VAR_DECL
&& TREE_CODE (decl) != PARM_DECL && TREE_CODE (decl) != PARM_DECL
&& TREE_CODE (decl) != RESULT_DECL)) && TREE_CODE (decl) != RESULT_DECL))
return false; return true;
/* Disregard pointer offsetting. */ /* Disregard pointer offsetting. */
if (TREE_CODE (ptr) == POINTER_PLUS_EXPR) if (TREE_CODE (ptr) == POINTER_PLUS_EXPR)
...@@ -1080,7 +1080,12 @@ refs_may_alias_p_1 (ao_ref *ref1, ao_ref *ref2, bool tbaa_p) ...@@ -1080,7 +1080,12 @@ refs_may_alias_p_1 (ao_ref *ref1, ao_ref *ref2, bool tbaa_p)
ao_ref_alias_set (ref2), -1, ao_ref_alias_set (ref2), -1,
tbaa_p); tbaa_p);
/* We really do not want to end up here, but returning true is safe. */
#ifdef ENABLE_CHECKING
gcc_unreachable (); gcc_unreachable ();
#else
return true;
#endif
} }
bool bool
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment