C++: Fix formatting

This commit is contained in:
Dave Bartolomeo
2020-03-13 04:50:35 -04:00
parent 1526400a81
commit 4c0d5c9d78

View File

@@ -52,7 +52,9 @@ private module Cached {
} }
cached cached
predicate hasDynamicInitializationFlag(Function func, StaticStorageDurationVariable var, CppType type) { predicate hasDynamicInitializationFlag(
Function func, StaticStorageDurationVariable var, CppType type
) {
var.(LocalVariable).getFunction() = func and var.(LocalVariable).getFunction() = func and
var.hasDynamicInitialization() and var.hasDynamicInitialization() and
type = getBoolType() type = getBoolType()