Rangeanalysis: Remove superfluous ignoreSsaReadCopy.

This commit is contained in:
Anders Schack-Mulligen
2023-10-31 15:32:25 +01:00
parent 322e6c91be
commit 34b9791e46
5 changed files with 1 additions and 28 deletions

View File

@@ -315,8 +315,6 @@ module IntDelta implements DeltaSig {
}
module JavaLangImpl implements LangSig<Sem, IntDelta> {
predicate ignoreSsaReadCopy(Sem::Expr e) { none() }
/**
* Holds if `e >= bound` (if `upper = false`) or `e <= bound` (if `upper = true`).
*/