mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-22 03:40:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

Revert "tree: Don't reuse types if TYPE_USER_ALIGN differ [PR94775]"

Browse Source 
This reverts commit 6318fe77395fc0dd59419bc4d69cd06ac0158e54.

	Revert:
	2020-04-30  Marek Polacek  <polacek@redhat.com>

	PR c++/94775
	* tree.c (check_base_type): Return true only if TYPE_USER_ALIGN match.
	(check_aligned_type): Check if TYPE_USER_ALIGN match.
This commit is contained in:
Marek Polacek 2020-05-04 10:26:43 -04:00
parent 367766f40a
commit 05be85b649
3 changed files with 10 additions and 43 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
2020-05-04 Marek Polacek <polacek@redhat.com>
Revert:
2020-04-30 Marek Polacek <polacek@redhat.com>
PR c++/94775
* tree.c (check_base_type): Return true only if TYPE_USER_ALIGN match.
(check_aligned_type): Check if TYPE_USER_ALIGN match.
2020-05-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/93891

40
gcc/testsuite/g++.dg/warn/Warray-bounds-10.C
View File

@ -1,40 +0,0 @@
// PR c++/94775
// { dg-do compile { target c++14 } }
// { dg-options "-O2 -Warray-bounds" }
template <typename> using a = int;
template <bool, typename, typename> using b = int;
typedef char d;
template <long> using e = int;
template <int f, int q> struct h { using i = b<q, a<e<f>>, e<f>>; };
template <long f, bool g> using j = typename h<f, g>::i;
long ab, k, aj;
const d l[]{};
class m {
public:
m(int);
};
class n {
void ad() const;
template <class ae> void o(long) const {
using c __attribute__((aligned(1))) = const ae;
}
long p;
template <class, class>
auto s(unsigned long, unsigned long, unsigned long, unsigned long) const;
template <bool = false> auto q(unsigned long, unsigned long) const;
};
template <class, class>
auto n::s(unsigned long, unsigned long, unsigned long, unsigned long t) const {
o<d>(p);
return t;
}
template <bool g> auto n::q(unsigned long p1, unsigned long p2) const {
using r = j<4, false>;
using ai = j<4, g>;
return s<ai, r>(ab, k, p1, p2);
}
void n::ad() const {
long f(l[aj]); // { dg-warning "outside array bounds" }
m(q(8, f));
}

4
gcc/tree.c
View File

@ -6493,8 +6493,7 @@ check_base_type (const_tree cand, const_tree base)
TYPE_ATTRIBUTES (base)))
return false;
/* Check alignment. */
if (TYPE_ALIGN (cand) == TYPE_ALIGN (base)
&& TYPE_USER_ALIGN (cand) == TYPE_USER_ALIGN (base))
if (TYPE_ALIGN (cand) == TYPE_ALIGN (base))
return true;
/* Atomic types increase minimal alignment. We must to do so as well
or we get duplicated canonical types. See PR88686. */
@ -6529,7 +6528,6 @@ check_aligned_type (const_tree cand, const_tree base, unsigned int align)
&& TYPE_CONTEXT (cand) == TYPE_CONTEXT (base)
/* Check alignment. */
&& TYPE_ALIGN (cand) == align
&& TYPE_USER_ALIGN (cand) == TYPE_USER_ALIGN (base)
&& attribute_list_equal (TYPE_ATTRIBUTES (cand),
TYPE_ATTRIBUTES (base))
&& check_lang_type (cand, base));