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

re PR c++/34059 (ICE with invalid base type for class member)

Browse Source 
gcc/cp/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

	PR c++/34059
	* typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
	MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.

gcc/testsuite/

2007-12-10  Simon Martin  <simartin@users.sourceforge.net>

	PR c++/34059
	* g++.dg/parse/crash40.C: New test.

From-SVN: r130754
This commit is contained in:
Simon Martin 2007-12-10 22:39:27 +00:00 committed by Simon Martin
parent 1b22c72e3b
commit 0197270c6e
4 changed files with 54 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/ChangeLog
View File

@ -1,3 +1,9 @@
2007-12-10 Simon Martin <simartin@users.sourceforge.net>
PR c++/34059
* typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.
2007-12-10 Jakub Jelinek <jakub@redhat.com>
PR c++/34395

2
gcc/cp/typeck.c
View File

@ -1800,7 +1800,7 @@ build_class_member_access_expr (tree object, tree member,
warn_deprecated_use (member);
}
else
member_scope = BINFO_TYPE (BASELINK_BINFO (member));
member_scope = BINFO_TYPE (BASELINK_ACCESS_BINFO (member));
/* If MEMBER is from an anonymous aggregate, MEMBER_SCOPE will
presently be the anonymous union. Go outwards until we find a
type related to OBJECT_TYPE. */

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2007-12-10 Simon Martin <simartin@users.sourceforge.net>
PR c++/34059
* g++.dg/parse/crash40.C: New test.
2007-12-10 Eric Botcazou <ebotcazou@libertysurf.fr>
* g++.dg/opt/memcpy1.C: New test.

42
gcc/testsuite/g++.dg/parse/crash40.C Normal file
View File

@ -0,0 +1,42 @@
/* PR c++/34059 */
/* { dg-do "compile" } */
struct A
{
template<int> void foo();
};
struct B : A {};
struct C : A {};
class AA
{
template<int> void foo(); /* { dg-error "is private" } */
};
struct BB : AA {};
class AAA {
int get() const {}
};
struct BBB {
static BBB *foo();
private:
int get() const {} /* { dg-error "is private" } */
};
template<bool> struct S {
S(unsigned int = BBB::foo()->AAA::get()); /* { dg-error "is not a base of" } */
};
template<bool> struct SS {
SS(unsigned int = BBB::foo()->get());
};
void bar()
{
B().C::foo<0>(); /* { dg-error "is not a member of" } */
BB().AA::foo<0>(); /* { dg-error "within this context" } */
int i;
i.C::foo<0>(); /* { dg-error "which is of non-class type" } */
S<false> s;
SS<false> ss; /* { dg-error "within this context" } */
}