Skip to content

Commit 9334e5a

Browse files
committed
Cpp: do not require subtypes = false for any models
1 parent 364bff1 commit 9334e5a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -742,7 +742,7 @@ private Function getFunction(string namespace, string type, boolean subtypes, st
742742
elementSpec(namespace, type, subtypes, name, _, _) and
743743
(
744744
funcHasQualifiedName(result, namespace, name) and
745-
subtypes = false and
745+
subtypes = [true, false] and
746746
type = ""
747747
or
748748
exists(Class namedClass, Class classWithMethod |
@@ -990,7 +990,7 @@ private Element interpretElement0(
990990
elementSpec(namespace, type, subtypes, name, signature, _) and
991991
signature = "" and
992992
type = "" and
993-
subtypes = false and
993+
subtypes = [true, false] and
994994
result = any(GlobalOrNamespaceVariable v | v.hasQualifiedName(namespace, name))
995995
}
996996

0 commit comments

Comments
 (0)