search for: d87994

Displaying 4 results from an estimated 4 matches for "d87994".

2020 Sep 20
2
Is it valid to dereference a pointer that have undef bits in its offset?
...will store zero to one of the array's elements. The reason is that I want to improve no-undef analysis by suggesting that a pointer that is passed to load/store is well-defined, by making it raise UB when a pointer with undef bits is given. A suggested patch is here: https://reviews.llvm.org/D87994 I wonder whether there is a case using this to do something that I'm not aware. Thanks, Juneyoung -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200921/9a03c974/attachment.html>
2020 Sep 21
2
Is it valid to dereference a pointer that have undef bits in its offset?
...will store zero to one of the array's elements. The reason is that I want to improve no-undef analysis by suggesting that a pointer that is passed to load/store is well-defined, by making it raise UB when a pointer with undef bits is given. A suggested patch is here: https://reviews.llvm.org/D87994 I wonder whether there is a case using this to do something that I'm not aware. Thanks, Juneyoung -- Juneyoung Lee Software Foundation Lab, Seoul National University -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev...
2020 Sep 21
2
Is it valid to dereference a pointer that have undef bits in its offset?
...gt;> >> The reason is that I want to improve no-undef analysis by suggesting >> that a pointer that is passed to load/store is well-defined, by >> making it raise UB when a pointer with undef bits is given. >> >> A suggested patch is here: https://reviews.llvm.org/D87994 >> >> I wonder whether there is a case using this to do something that I'm >> not aware. >> >> Thanks, >> Juneyoung >> >> >> -- >> >> Juneyoung Lee >> Software Foundation Lab, Seoul National University >> >> _...
2020 Sep 22
2
Is it valid to dereference a pointer that have undef bits in its offset?
...t I want to improve no-undef analysis by suggesting > >>> that a pointer that is passed to load/store is well-defined, by > >>> making it raise UB when a pointer with undef bits is given. > >>> > >>> A suggested patch is here: https://reviews.llvm.org/D87994 > >>> > >>> I wonder whether there is a case using this to do something that I'm > >>> not aware. > >>> > >>> Thanks, > >>> Juneyoung > >>> > >>> > >>> -- > >>> > >>&...