* [PATCH] Fix PR70526
@ 2016-04-05 11:47 Richard Biener
0 siblings, 0 replies; only message in thread
From: Richard Biener @ 2016-04-05 11:47 UTC (permalink / raw)
To: gcc-patches
SRA uses bogus alias sets for access replacements if a alias-punning
MEM_REF is based on a decl. The following patch fixes this.
Bootstrapped on x86_64-unknown-linux-gnu, testing in progress.
The testcase is a GCC 6 regression but the issue is older.
Richard.
2016-04-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/70526
* tree-sra.c (build_ref_for_offset): Use prev_base to
extract the alias pointer type.
* g++.dg/torture/pr70526.C: New testcase.
Index: gcc/tree-sra.c
===================================================================
*** gcc/tree-sra.c (revision 234736)
--- gcc/tree-sra.c (working copy)
*************** build_ref_for_offset (location_t loc, tr
*** 1673,1679 ****
}
else
{
! off = build_int_cst (reference_alias_ptr_type (base),
base_offset + offset / BITS_PER_UNIT);
base = build_fold_addr_expr (unshare_expr (base));
}
--- 1673,1679 ----
}
else
{
! off = build_int_cst (reference_alias_ptr_type (prev_base),
base_offset + offset / BITS_PER_UNIT);
base = build_fold_addr_expr (unshare_expr (base));
}
Index: gcc/testsuite/g++.dg/torture/pr70526.C
===================================================================
*** gcc/testsuite/g++.dg/torture/pr70526.C (revision 0)
--- gcc/testsuite/g++.dg/torture/pr70526.C (working copy)
***************
*** 0 ****
--- 1,35 ----
+ // { dg-do run }
+
+ typedef unsigned uint32_t;
+
+ template<typename T>
+ struct AlignedStorage2
+ {
+ char mBytes[sizeof(T)];
+
+ const T* addr() const { return reinterpret_cast<const T*>(mBytes); }
+ T* addr() { return reinterpret_cast<T*>(mBytes); }
+ };
+
+ struct Register {
+ uint32_t reg_;
+ };
+
+ class TypedOrValueRegister
+ {
+ AlignedStorage2<Register> typed;
+ __attribute__((noinline)) Register& dataTyped() { return *typed.addr(); }
+ public:
+ TypedOrValueRegister(Register reg)
+ {
+ dataTyped() = reg;
+ }
+ Register typedReg() const { return *typed.addr(); }
+ };
+
+ int main() {
+ Register reg = { 10u };
+ if (TypedOrValueRegister(reg).typedReg().reg_ != 10)
+ __builtin_abort();
+ return 0;
+ }
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-04-05 11:47 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-04-05 11:47 [PATCH] Fix PR70526 Richard Biener
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).