CodeQL library for C/C++
codeql/cpp-all 1.1.2-dev (changelog, source)

Member predicate Class::accessOfBaseMember

Gets the access specifier, if any, that a hypothetical member of base would have when viewed as a member of this, given that this member had access specifier fieldInBase. Encodes the rules of C++14 11.2/1 and 11.6/1, except that this predicate includes the case of base = this.

AccessSpecifier accessOfBaseMember(Class base, AccessSpecifier fieldInBase)