Removed unused predicates

ropwareJB · ropwareJB · commit 938b42aca03a · 2026-01-15T04:15:23.000-08:00
diff --git a/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModificationPrecise.ql b/cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModificationPrecise.ql
@@ -248,11 +248,6 @@ class YearFieldAssignmentNode extends DataFlow::Node {
     //   aoe.getOperand() instanceof YearFieldAccess
     // )
   }
-
-  YearFieldAccess getYearFieldAccess() {
-    result = this.asDefiningArgument() or
-    result = this.asExpr().(YearFieldAssignment).getYearFieldAccess()
-  }
 }
 
 /**
@@ -404,8 +399,6 @@ class MonthEqualityCheck extends EqualityOperation {
       result = e
     )
   }
-
-  MonthFieldAccess getMonthFieldAccess() { result = this.getAnOperand() }
 }
 
 class MonthEqualityCheckGuard extends GuardCondition instanceof MonthEqualityCheck { }

Original file line number	Diff line number	Diff line change
`@@ -248,11 +248,6 @@ class YearFieldAssignmentNode extends DataFlow::Node {`
`248`	`248`	`// aoe.getOperand() instanceof YearFieldAccess`
`249`	`249`	`// )`
`250`	`250`	`}`
`251`		`-`
`252`		`- YearFieldAccess getYearFieldAccess() {`
`253`		`- result = this.asDefiningArgument() or`
`254`		`- result = this.asExpr().(YearFieldAssignment).getYearFieldAccess()`
`255`		`- }`
`256`	`251`	`}`
`257`	`252`
`258`	`253`	`/**`
`@@ -404,8 +399,6 @@ class MonthEqualityCheck extends EqualityOperation {`
`404`	`399`	`result = e`
`405`	`400`	`)`
`406`	`401`	`}`
`407`		`-`
`408`		`- MonthFieldAccess getMonthFieldAccess() { result = this.getAnOperand() }`
`409`	`402`	`}`
`410`	`403`
`411`	`404`	`class MonthEqualityCheckGuard extends GuardCondition instanceof MonthEqualityCheck { }`