Skip to content

Commit ae89b2e

Browse files
authored
Merge pull request #21747 from jketema/join-order
Fix two `QualifiedName` join orders
2 parents 82c99a5 + 076b020 commit ae89b2e

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

cpp/ql/lib/semmle/code/cpp/internal/QualifiedName.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ class Namespace extends @namespace {
1818
if namespacembrs(_, this)
1919
then
2020
exists(Namespace ns |
21-
namespacembrs(ns, this) and
21+
namespacembrs(ns, pragma[only_bind_out](this)) and
2222
result = ns.getQualifiedName() + "::" + this.getName()
2323
)
2424
else result = this.getName()
@@ -37,7 +37,7 @@ class Namespace extends @namespace {
3737
string getAQualifierForMembers() {
3838
if namespacembrs(_, this)
3939
then
40-
exists(Namespace ns | namespacembrs(ns, this) |
40+
exists(Namespace ns | namespacembrs(ns, pragma[only_bind_out](this)) |
4141
result = ns.getAQualifierForMembers() + "::" + this.getName()
4242
or
4343
// If this is an inline namespace, its members are also visible in any

0 commit comments

Comments
 (0)