Skip to content

Commit

Permalink
We don't look into static items anymore during const prop
Browse files Browse the repository at this point in the history
  • Loading branch information
oli-obk committed Jan 23, 2024
1 parent 6b359b7 commit 0b6cf3b
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 9 deletions.
3 changes: 1 addition & 2 deletions tests/ui/modulo_one.rs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,6 @@ fn main() {
INT_MIN % NEG_ONE;
//~^ ERROR: this operation will panic at runtime
//~| ERROR: any number modulo -1 will panic/overflow or result in 0
// ONLY caught by rustc
// Not caught by lint, we don't look into static items, even if entirely immutable.
INT_MIN % STATIC_NEG_ONE;
//~^ ERROR: this operation will panic at runtime
}
8 changes: 1 addition & 7 deletions tests/ui/modulo_one.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -12,12 +12,6 @@ error: this operation will panic at runtime
LL | INT_MIN % NEG_ONE;
| ^^^^^^^^^^^^^^^^^ attempt to compute `i64::MIN % -1_i64`, which would overflow

error: this operation will panic at runtime
--> $DIR/modulo_one.rs:37:5
|
LL | INT_MIN % STATIC_NEG_ONE;
| ^^^^^^^^^^^^^^^^^^^^^^^^ attempt to compute `i64::MIN % -1_i64`, which would overflow

error: any number modulo 1 will be 0
--> $DIR/modulo_one.rs:8:5
|
Expand Down Expand Up @@ -57,5 +51,5 @@ error: any number modulo -1 will panic/overflow or result in 0
LL | INT_MIN % NEG_ONE;
| ^^^^^^^^^^^^^^^^^

error: aborting due to 9 previous errors
error: aborting due to 8 previous errors

0 comments on commit 0b6cf3b

Please sign in to comment.