Skip to content

Commit d8e0ffa

Browse files
szsamjketema
andauthored
Update cpp/ql/src/Likely Bugs/Memory Management/UninitializedLocal.ql
Co-authored-by: Jeroen Ketema <[email protected]>
1 parent 4b4c0cd commit d8e0ffa

File tree

1 file changed

+4
-6
lines changed

1 file changed

+4
-6
lines changed

cpp/ql/src/Likely Bugs/Memory Management/UninitializedLocal.ql

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -72,12 +72,10 @@ VariableAccess commonException() {
7272
or
7373
result.getParent() instanceof BuiltInOperation
7474
or
75-
// Ignore the uninitialized use that is explicitly cast to void and
76-
// is also an expression statement.
77-
(
78-
result.getActualType() instanceof VoidType and
79-
result.getParent() instanceof ExprStmt
80-
)
75+
// Ignore any uninitialized use that is explicitly cast to void and
76+
// is an expression statement.
77+
result.getActualType() instanceof VoidType and
78+
result.getParent() instanceof ExprStmt
8179
or
8280
// Finally, exclude functions that contain assembly blocks. It's
8381
// anyone's guess what happens in those.

0 commit comments

Comments
 (0)