fix formatting

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mrigank Pawagi
2025-06-30 16:40:03 +00:00
committed by GitHub
parent 809d1d55a8
commit cf60b62981

View File

@@ -33,9 +33,7 @@ predicate dominatingInitInFunc(GlobalVariable v, Function f, ControlFlowNode nod
predicate safeAccess(VariableAccess access) {
// it is safe if the variable access is part of a `sizeof` expression
exists(SizeofExprOperator e |
e.getAChild*() = access
)
exists(SizeofExprOperator e | e.getAChild*() = access)
}
predicate useFunc(GlobalVariable v, Function f) {