Skip to content

Commit 1a1b6a1

Browse files
committed
Use any() to stub getCallbackParameter/ReturnType
This is used in all other languages not currently using dataflow type pruning.
1 parent 0af5300 commit 1a1b6a1

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,13 +46,14 @@ DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) { any() }
4646
* Gets the type of the `i`th parameter in a synthesized call that targets a
4747
* callback of type `t`.
4848
*/
49-
DataFlowType getCallbackParameterType(DataFlowType t, int i) { none() }
49+
bindingset[t, pos]
50+
DataFlowType getCallbackParameterType(DataFlowType t, ArgumentPosition pos) { any() }
5051

5152
/**
5253
* Gets the return type of kind `rk` in a synthesized call that targets a
5354
* callback of type `t`.
5455
*/
55-
DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) { none() }
56+
DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) { any() }
5657

5758
/** Gets the type of synthetic global `sg`. */
5859
DataFlowType getSyntheticGlobalType(SummaryComponent::SyntheticGlobal sg) { none() }

0 commit comments

Comments
 (0)