From 32fe0846302bc5d7d427b0c459e4aa02085ec1b6 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 30 Apr 2024 14:42:30 +0100 Subject: [PATCH] Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com> --- cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll index eee69488b28..83f8dc8b3bc 100644 --- a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll +++ b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll @@ -793,7 +793,7 @@ private predicate simple_comparison_eq(Instruction test, Operand op, int k, Abst or // There's no implicit CompareInstruction in files compiled as C since C // doesn't have implicit boolean conversions. So instead we check whether - // there's a branch on a value ofpointer or integer type. + // there's a branch on a value of pointer or integer type. exists(ConditionalBranchInstruction branch, IRType type | not test instanceof CompareInstruction and type = test.getResultIRType() and