diff options
| author | Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> | 2003-08-19 12:55:00 +0000 |
|---|---|---|
| committer | Kriang Lerdsuwanakij <lerdsuwa@gcc.gnu.org> | 2003-08-19 12:55:00 +0000 |
| commit | b54f5338d920cc2365a0e3f09dc7cefe2bd6258e (patch) | |
| tree | 2af4698f783f34d32d20523a83a198c5df2680ae /gcc/cp/init.c | |
| parent | 3ab37c7de76a6e34d40c9c9bd9a0101d9accfb33 (diff) | |
| download | gcc-b54f5338d920cc2365a0e3f09dc7cefe2bd6258e.zip gcc-b54f5338d920cc2365a0e3f09dc7cefe2bd6258e.tar.gz gcc-b54f5338d920cc2365a0e3f09dc7cefe2bd6258e.tar.bz2 | |
re PR c++/11174 (derived class can access protected base class member function through pointer to member function)
PR c++/11174
* init.c (build_offset_ref): Perform access checking for
pointer to member correctly.
* g++.dg/parse/access4.C: New test.
* g++.dg/parse/access5.C: Likewise.
* g++.old-deja/g++.jason/access17.C: Adjust error message.
From-SVN: r70566
Diffstat (limited to 'gcc/cp/init.c')
| -rw-r--r-- | gcc/cp/init.c | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/gcc/cp/init.c b/gcc/cp/init.c index 0cd7270..032959c 100644 --- a/gcc/cp/init.c +++ b/gcc/cp/init.c @@ -1502,8 +1502,20 @@ build_offset_ref (tree type, tree name, bool address_p) /* Get rid of a potential OVERLOAD around it */ t = OVL_CURRENT (t); - /* unique functions are handled easily. */ - perform_or_defer_access_check (basebinfo, t); + /* Unique functions are handled easily. */ + + /* For non-static member of base class, we need a special rule + for access checking [class.protected]: + + If the access is to form a pointer to member, the + nested-name-specifier shall name the derived class + (or any class derived from that class). */ + if (address_p && DECL_P (t) + && DECL_NONSTATIC_MEMBER_P (t)) + perform_or_defer_access_check (TYPE_BINFO (type), t); + else + perform_or_defer_access_check (basebinfo, t); + mark_used (t); if (DECL_STATIC_FUNCTION_P (t)) return t; @@ -1515,6 +1527,11 @@ build_offset_ref (tree type, tree name, bool address_p) member = fnfields; } } + else if (address_p && TREE_CODE (member) == FIELD_DECL) + /* We need additional test besides the one in + check_accessibility_of_qualified_id in case it is + a pointer to non-static member. */ + perform_or_defer_access_check (TYPE_BINFO (type), member); if (!address_p) { |