Repository navigation
"while(i!=-1)" causes "Unsatisfied precondition constraint" #122
Description
$ cat ~/tmp/test.rs
fn main() {
let int i = -1;
while (i != -1) {
ret;
}
}
$ ./rustboot -L . ~/tmp/test.rs -o ~/tmp/test
~/tmp/test.rs:3:2 - 6:0:E:Error: Unsatisfied precondition constraint <init #14 = .t0> at stmt 23:
while ({
auto .t0;
.t0 = -1;
}i != .t0) {
ret;
}
$
Interestingly, changing the literal to "1" avoids the error.
Activity
graydon commentedon Aug 24, 2010
Closed by b34cb1b.
Merge pull request rust-lang#122 from oli-obk/master
Merge pull request rust-lang#122 from brson/musl
Sse2 (rust-lang#122)
Merge pull request rust-lang#122 from Havvy/best-effort-warning
Merge pull request rust-lang#122 from JohnTitor/const-equate
Merge pull request rust-lang#122 from miguelraz/nbodyexample
Merge pull request rust-lang#122 from bjorn3/rustup
Add loop contracts and harness for `small_slice_eq` (rust-lang#122)
Enable harnesses that were blocked by Kani's spurious CEX (rust-lang#211
Merge rust-lang#122