We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 540ce1f commit f19f796Copy full SHA for f19f796
cpp/ql/lib/semmle/code/cpp/Declaration.qll
@@ -664,7 +664,9 @@ private class DirectAccessHolder extends Element {
664
// bypasses `p`. Then that path must be public, or we are in case 2.
665
exists(AccessSpecifier public | public.hasName("public") |
666
exists(Class between, Class p |
667
- between.accessOfBaseMember(memberClass, memberAccess).hasName("protected") and
+ between
668
+ .accessOfBaseMember(pragma[only_bind_into](memberClass), memberAccess)
669
+ .hasName("protected") and
670
this.isFriendOfOrEqualTo(p) and
671
(
672
// This is case 1 from above. If `p` derives privately from `between`
0 commit comments