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

C++: Autoformat.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-09 17:53:33 +01:00
parent ac7a25734b
commit 8a92a4250f
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/src/Critical/GlobalUseBeforeInit.ql
View File

@@ -101,15 +101,13 @@ predicate callReaches(Call call, ControlFlowNode successor) {
// To avoid many false alarms like `static int a = 1;`
predicate initialisedAtDeclaration(GlobalVariable v) {
exists(VariableDeclarationEntry vde |
vde = v.getDefinition()
and vde.isDefinition()
vde = v.getDefinition() and
vde.isDefinition()
)
}
// No need to initialize those variables
predicate isStdlibVariable(GlobalVariable v) {
v.getName() = ["stdin", "stdout", "stderr"]
}
predicate isStdlibVariable(GlobalVariable v) { v.getName() = ["stdin", "stdout", "stderr"] }
from GlobalVariable v, Function f
where