Skip to content

Commit

Permalink
Formatting.
Browse files Browse the repository at this point in the history
(cherry picked from commit c496503)
  • Loading branch information
bdrodes committed Oct 1, 2024
1 parent 2b5bc1d commit 1adea9c
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion cpp/ql/src/Security/CWE/CWE-704/WcharCharConversion.ql
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,9 @@ class UnicodeMacroInvocation extends MacroInvocation {
*/
predicate isLikelyDynamicallyChecked(Expr e) {
e.getType() instanceof UnicodeMacroDependentWidthType and
exists(GuardCondition gc, BitwiseAndExpr bai, UnicodeMacroInvocation umi | bai.getAnOperand() = umi.getExpr() |
exists(GuardCondition gc, BitwiseAndExpr bai, UnicodeMacroInvocation umi |
bai.getAnOperand() = umi.getExpr()
|
// bai == 0 is false when reaching `e.getBasicBlock()`.
// That is, bai != 0 when reaching `e.getBasicBlock()`.
gc.ensuresEq(bai, 0, e.getBasicBlock(), false)
Expand Down

0 comments on commit 1adea9c

Please sign in to comment.