Displaying 2 results from an estimated 2 matches for "6b68d77c".
2013 Jun 25
0
[LLVMdev] SimplifyIndVar looses nsw flags
----- Original Message -----
>
>
>
>
>
>
>
> Hello,
>
> I'm using LLVM to reason about memory safety of programs. One goal is
> to prove that certain array accesses are always safe.
>
> Currently, one of these proofs fails because of a missing
> no-signed-wrap (nsw) flag. I found that it has been "lost" during
> the SimplifyIndVar
2013 Jun 25
2
[LLVMdev] SimplifyIndVar looses nsw flags
Hello,
I'm using LLVM to reason about memory safety of programs. One goal is to
prove that certain array accesses are always safe.
Currently, one of these proofs fails because of a missing no-signed-wrap
(nsw) flag. I found that it has been "lost" during the SimplifyIndVar pass.
Here's the example:
int foo(int a[]) {
int sum = 0;
for (int i = 0; i < 1000; ++i)