Skip to content

Commit

Permalink
fix fallthrough
Browse files Browse the repository at this point in the history
(cherry picked from commit 69a35c3)
  • Loading branch information
davleopo committed Dec 13, 2024
1 parent a19c99e commit 57d416f
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -639,6 +639,7 @@ public boolean ivCanNeverOverflow(InductionVariable iv) {
return false;
}
}
return false;
}

// BELOW: limitCheckedIV case
Expand Down

0 comments on commit 57d416f

Please sign in to comment.