hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-31 04:38:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix QLDoc formatting

Browse Source
This commit is contained in:
Owen Mansel-Chan
2026-03-23 16:11:22 +00:00
parent 093c27955f
commit d82fc67b36
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll
View File

@@ -112,10 +112,10 @@ extensible predicate barrierModel(
* Holds if in a call to the function with canonical path `path`, the value referred
* to by `input` is a barrier guard of the given `kind` and `madId` is the data
* extension row number.
* the value referred to by `input` is assumed to lead to a parameter of a call
* (possibly `self`), and the call is guarding the parameter.
* `branch` is either `true` or `false`, indicating which branch of the guard
* is protecting the parameter.
*
* The value referred to by `input` is assumed to lead to a parameter of a call
* (possibly `self`), and the call is guarding the parameter. `branch` is either `true`
* or `false`, indicating which branch of the guard is protecting the parameter.
*/
extensible predicate barrierGuardModel(
string path, string input, string branch, string kind, string provenance,