Skip to content

Commit c496503

Browse files
committed
Formatting.
1 parent eeddb17 commit c496503

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

cpp/ql/src/Security/CWE/CWE-704/WcharCharConversion.ql

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,9 @@ class UnicodeMacroInvocation extends MacroInvocation {
8080
*/
8181
predicate isLikelyDynamicallyChecked(Expr e) {
8282
e.getType() instanceof UnicodeMacroDependentWidthType and
83-
exists(GuardCondition gc, BitwiseAndExpr bai, UnicodeMacroInvocation umi | bai.getAnOperand() = umi.getExpr() |
83+
exists(GuardCondition gc, BitwiseAndExpr bai, UnicodeMacroInvocation umi |
84+
bai.getAnOperand() = umi.getExpr()
85+
|
8486
// bai == 0 is false when reaching `e.getBasicBlock()`.
8587
// That is, bai != 0 when reaching `e.getBasicBlock()`.
8688
gc.ensuresEq(bai, 0, e.getBasicBlock(), false)

0 commit comments

Comments
 (0)