apply proper formatting in comment

This commit is contained in:
Mrigank Pawagi
2025-06-05 13:26:38 +00:00
parent 434973f8e6
commit 93c485fb13

View File

@@ -21,7 +21,7 @@ predicate initFunc(GlobalVariable v, Function f) {
)
}
/** Holds if `v` has an initializer in function `f` that dominates `node`. **/
/** Holds if `v` has an initializer in function `f` that dominates `node`. */
predicate dominatingInitInFunc(GlobalVariable v, Function f, ControlFlowNode node) {
exists(VariableAccess initAccess |
v.getAnAccess() = initAccess and