src/cmd/compile/internal/ssa/prove.go | 3 ---
 test/prove.go                         | 5 -----

diff --git a/src/cmd/compile/internal/ssa/prove.go b/src/cmd/compile/internal/ssa/prove.go
index 908fb5af465e9b8db478d65b9008eb9347226ddf..9ecd335b6a06c28fc8123e58b30d3ab7370002c3 100644
--- a/src/cmd/compile/internal/ssa/prove.go
+++ b/src/cmd/compile/internal/ssa/prove.go
@@ -856,9 +856,6 @@ 				// TODO: we could also do <= 64/32/16/8, if that helped.
 			case OpAnd64, OpAnd32, OpAnd16, OpAnd8:
 				ft.update(b, v, v.Args[1], unsigned, lt|eq)
 				ft.update(b, v, v.Args[0], unsigned, lt|eq)
-			case OpOr64, OpOr32, OpOr16, OpOr8:
-				ft.update(b, v, v.Args[1], unsigned, gt|eq)
-				ft.update(b, v, v.Args[0], unsigned, gt|eq)
 			case OpPhi:
 				// Determine the min and max value of OpPhi composed entirely of integer constants.
 				//
diff --git a/test/prove.go b/test/prove.go
index 7792b432f964aa38653e8ac49b7b3961272543d9..c91fb26c04c1b33a0d2ca2ff8ab67d8c9acc0562 100644
--- a/test/prove.go
+++ b/test/prove.go
@@ -1053,11 +1053,6 @@ 	}
 	return 0
 }
 
-func issue45928(x int) {
-	combinedFrac := (x) / (x | (1 << 31)) // ERROR "Proved Neq64$"
-	useInt(combinedFrac)
-}
-
 //go:noinline
 func useInt(a int) {
 }