https://gcc.gnu.org/g:97fa1ba84849a940c55eaecc2d7798d2582d39e4
commit r13-9505-g97fa1ba84849a940c55eaecc2d7798d2582d39e4
Author: Richard Biener <rguent...@suse.de>
Date: Fri May 17 11:02:29 2024 +0200
middle-end/115110 - Fix view_converted_memref_p
view_converted_memref_p was checking the reference type against the
pointer type of the offset operand rather than its pointed-to type
which leads to all refs being subject to view-convert treatment
in get_alias_set causing numerous testsuite fails but with its
new uses from r15-512-g9b7cad5884f21c is also a wrong-code issue.
PR middle-end/115110
* tree-ssa-alias.cc (view_converted_memref_p): Fix.
(cherry picked from commit a5b3721c06646bf5b9b50a22964e8e2bd4d03f5f)
Diff:
---
gcc/tree-ssa-alias.cc | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/gcc/tree-ssa-alias.cc b/gcc/tree-ssa-alias.cc
index f2dc1563ae93..dcb65648ec04 100644
--- a/gcc/tree-ssa-alias.cc
+++ b/gcc/tree-ssa-alias.cc
@@ -2045,8 +2045,9 @@ view_converted_memref_p (tree base)
{
if (TREE_CODE (base) != MEM_REF && TREE_CODE (base) != TARGET_MEM_REF)
return false;
- return same_type_for_tbaa (TREE_TYPE (base),
- TREE_TYPE (TREE_OPERAND (base, 1))) != 1;
+ return (same_type_for_tbaa (TREE_TYPE (base),
+ TREE_TYPE (TREE_TYPE (TREE_OPERAND (base, 1))))
+ != 1);
}
/* Return true if an indirect reference based on *PTR1 constrained
