From c811fae87627a2c11e9096714163e2389a48bb03 Mon Sep 17 00:00:00 2001 From: Ben Rodes Date: Tue, 17 Feb 2026 10:14:11 -0500 Subject: [PATCH] Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com> --- .../Leap Year/UncheckedLeapYearAfterYearModification.ql | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql b/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql index a6c11c30c67..064fc5a71d4 100644 --- a/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql +++ b/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql @@ -145,8 +145,8 @@ predicate isLikelyConversionConstant(int c) { 32044, // Fliegel-van Flandern JDN epoch shift 1721425, // JDN of 0001‑01‑01 (Gregorian) 1721119, // alt epoch offset - 2400000, // MJD → JDN conversion - 2400001, // alt MJD → JDN conversion + 2400000, // MJD -> JDN conversion + 2400001, // alt MJD -> JDN conversion 2141, // fixed‑point month/day extraction 65536, // observed in some conversions 7834, // observed in some conversions