Skip to content

Commit 736435a

Browse files
committed
Go: Add stub expectsContent
Corresponds to #8870
1 parent 50210a9 commit 736435a

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -188,6 +188,12 @@ predicate clearsContent(Node n, Content c) {
188188
// FlowSummaryImpl::Private::Steps::summaryClearsContent(n, c)
189189
}
190190

191+
/**
192+
* Holds if the value that is being tracked is expected to be stored inside content `c`
193+
* at node `n`.
194+
*/
195+
predicate expectsContent(Node n, ContentSet c) { none() }
196+
191197
/** Gets the type of `n` used for type pruning. */
192198
DataFlowType getNodeType(Node n) {
193199
result = n.getType()

0 commit comments

Comments
 (0)