A leap year check sink can be a ExprCheckLeapYear component.

bdrodes · bdrodes · commit 9b04b42ae361 · 2026-01-12T16:02:05.000-05:00
diff --git a/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModificationPrecise.ql b/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModificationPrecise.ql
@@ -293,6 +293,8 @@ module OperationToYearAssignmentConfig implements DataFlow::ConfigSig {
 module OperationToYearAssignmentFlow = TaintTracking::Global<OperationToYearAssignmentConfig>;
 
 predicate isLeapYearCheckSink(DataFlow::Node sink) {
+  exists(ExprCheckLeapYear e | sink.asExpr() = e.getAChild*())
+  or
   // Local leap year check
   sink.asExpr().(LeapYearFieldAccess).isUsedInCorrectLeapYearCheck()
   or
