Displaying 2 results from an estimated 2 matches for "3fe38ca9".
2016 Feb 29
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
..._________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160229/3fe38ca9/attachment.html>
2016 Feb 29
2
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
ok thanks. A more reduced test case can show different behavior between O2
and O0.
Say we have
unsigned maybe_divide (unsigned *ptr) {
int flag = false;
unsigned val = 500/ptr[0];
if (flag)
return val;
return (unsigned)(intptr_t)ptr);
}
int main() {
unsigned g = 0;
return maybe_divide(&g);
}
At O2, it runs fine, but at O0 it core dumps.
what is the right