File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -1143,6 +1143,10 @@ private newtype TDataFlowCall =
1143
1143
FlowSummaryImpl:: Private:: summaryCallbackRange ( c , receiver )
1144
1144
}
1145
1145
1146
+ private predicate summarizedCallableIsManual ( SummarizedCallable sc ) {
1147
+ sc .asSummarizedCallable ( ) .applyManualModel ( )
1148
+ }
1149
+
1146
1150
/**
1147
1151
* A function call relevant for data flow. This includes calls from source
1148
1152
* code and calls inside library callables with a flow summary.
@@ -1178,13 +1182,13 @@ class DataFlowCall extends TDataFlowCall {
1178
1182
// target
1179
1183
not exists ( SummarizedCallable sc |
1180
1184
sc .asSummarizedCallable ( ) = target and
1181
- sc . asSummarizedCallable ( ) . applyManualModel ( )
1185
+ summarizedCallableIsManual ( sc )
1182
1186
) and
1183
1187
result .asSourceCallable ( ) = target
1184
1188
or
1185
1189
// When there is no function body, or when we have a manual model then
1186
1190
// we dispatch to the summary.
1187
- ( not target .hasDefinition ( ) or result . asSummarizedCallable ( ) . applyManualModel ( ) ) and
1191
+ ( not target .hasDefinition ( ) or summarizedCallableIsManual ( result ) ) and
1188
1192
result .asSummarizedCallable ( ) = target
1189
1193
)
1190
1194
}
You can’t perform that action at this time.
0 commit comments