From: Richard Guenther Date: Thu, 3 Mar 2011 12:10:40 +0000 (+0000) Subject: re PR debug/47283 (ICE in refs_may_alias_p_1, at tree-ssa-alias.c) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4b1a5c0ded00e987f78929d4189ce12792d57fcc;p=gcc.git re PR debug/47283 (ICE in refs_may_alias_p_1, at tree-ssa-alias.c) 2011-03-03 Richard Guenther 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 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ede6eea09d0..e40f40e435c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2011-03-03 Richard Guenther + + 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 * config/s390/s390.c (s390_function_value): Rename to ... diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 68321d29e24..bd8953b3d8e 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -178,7 +178,7 @@ ptr_deref_may_alias_decl_p (tree ptr, tree decl) || (TREE_CODE (decl) != VAR_DECL && TREE_CODE (decl) != PARM_DECL && TREE_CODE (decl) != RESULT_DECL)) - return false; + return true; /* Disregard pointer offsetting. */ 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) ao_ref_alias_set (ref2), -1, tbaa_p); + /* We really do not want to end up here, but returning true is safe. */ +#ifdef ENABLE_CHECKING gcc_unreachable (); +#else + return true; +#endif } bool