Skip to content

Commit f9521e9

Browse files
committed
Update interpretModelForTest
1 parent f342bae commit f9521e9

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -146,6 +146,16 @@ predicate interpretModelForTest(QlBuiltins::ExtensionId madId, string model) {
146146
neutralModel(path, kind, _, madId) and
147147
model = "Neutral: " + path + "; " + kind
148148
)
149+
or
150+
exists(string path, string output, string kind |
151+
barrierModel(path, output, kind, _, madId) and
152+
model = "Barrier: " + path + "; " + output + "; " + kind
153+
)
154+
or
155+
exists(string path, string input, string branch, string kind |
156+
barrierGuardModel(path, input, branch, kind, _, madId) and
157+
model = "Barrier guard: " + path + "; " + input + "; " + branch + "; " + kind
158+
)
149159
}
150160

151161
private class SummarizedCallableFromModel extends SummarizedCallable::Range {

0 commit comments

Comments
 (0)