Skip to content

Commit 662e749

Browse files
committed
C++: (Bugfix 1) There should be a callable representing the source code even if there is a summarized version.
1 parent 01d7ab9 commit 662e749

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1012,9 +1012,7 @@ class CastNode extends Node {
10121012

10131013
cached
10141014
newtype TDataFlowCallable =
1015-
TSourceCallable(Cpp::Declaration decl) {
1016-
not decl instanceof FlowSummaryImpl::Public::SummarizedCallable
1017-
} or
1015+
TSourceCallable(Cpp::Declaration decl) or
10181016
TSummarizedCallable(FlowSummaryImpl::Public::SummarizedCallable c)
10191017

10201018
/**

0 commit comments

Comments
 (0)