From 378f0368af5a2e9968d78b92b748a9fbeda15881 Mon Sep 17 00:00:00 2001 From: Jeroen Ketema <93738568+jketema@users.noreply.github.com> Date: Mon, 20 Jan 2025 10:43:00 +0100 Subject: [PATCH] Update cpp/downgrades/1aa71a4a687fc93f807d4dfeeef70feceeced242/stmts.ql --- .../1aa71a4a687fc93f807d4dfeeef70feceeced242/stmts.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/downgrades/1aa71a4a687fc93f807d4dfeeef70feceeced242/stmts.ql b/cpp/downgrades/1aa71a4a687fc93f807d4dfeeef70feceeced242/stmts.ql index cb15f30808d..e2c13bd4342 100644 --- a/cpp/downgrades/1aa71a4a687fc93f807d4dfeeef70feceeced242/stmts.ql +++ b/cpp/downgrades/1aa71a4a687fc93f807d4dfeeef70feceeced242/stmts.ql @@ -13,5 +13,5 @@ predicate isConstevalIf(Stmt stmt) { from Stmt stmt, int kind, int kind_new, Location location where stmts(stmt, kind, location) and - if isConstevalIf(stmt) then kind_new = 7 else kind_new = kind // Turns consteval if into a block with two block statement in it + if isConstevalIf(stmt) then kind_new = 7 else kind_new = kind // Turns consteval if into a block with two block statements in it select stmt, kind_new, location