Skip to content

Commit 8a92a42

Browse files
committed
C++: Autoformat.
1 parent ac7a257 commit 8a92a42

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

cpp/ql/src/Critical/GlobalUseBeforeInit.ql

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -101,15 +101,13 @@ predicate callReaches(Call call, ControlFlowNode successor) {
101101
// To avoid many false alarms like `static int a = 1;`
102102
predicate initialisedAtDeclaration(GlobalVariable v) {
103103
exists(VariableDeclarationEntry vde |
104-
vde = v.getDefinition()
105-
and vde.isDefinition()
104+
vde = v.getDefinition() and
105+
vde.isDefinition()
106106
)
107107
}
108108

109109
// No need to initialize those variables
110-
predicate isStdlibVariable(GlobalVariable v) {
111-
v.getName() = ["stdin", "stdout", "stderr"]
112-
}
110+
predicate isStdlibVariable(GlobalVariable v) { v.getName() = ["stdin", "stdout", "stderr"] }
113111

114112
from GlobalVariable v, Function f
115113
where

0 commit comments

Comments
 (0)