Displaying 1 result from an estimated 1 matches for "2d80580d".
2020 Sep 20
2
Is it valid to dereference a pointer that have undef bits in its offset?
Hello all,
Is it valid to dereference a pointer that has undef bits in its offset?
For example,
%p = alloca [8 x i8]
%p2 = gep %p, (undef & 8)
store 0, %p2
undef & 8 is always less than 8, so technically it 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