Skip to content

Commit 76a3fa8

Browse files
committed
Use any() to stub getSyntheticGlobalType
This is used in all other languages not currently using dataflow type pruning.
1 parent 1a1b6a1 commit 76a3fa8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ DataFlowType getCallbackParameterType(DataFlowType t, ArgumentPosition pos) { an
5656
DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) { any() }
5757

5858
/** Gets the type of synthetic global `sg`. */
59-
DataFlowType getSyntheticGlobalType(SummaryComponent::SyntheticGlobal sg) { none() }
59+
DataFlowType getSyntheticGlobalType(SummaryComponent::SyntheticGlobal sg) { any() }
6060

6161
/**
6262
* Holds if an external flow summary exists for `c` with input specification

0 commit comments

Comments
 (0)