Displaying 1 result from an estimated 1 matches for "use_but_not_dereference".
2019 Apr 10
2
getelementptr inbounds with offset 0
Hi,
>>> I see. Is there a quick answer to the questions why you need inbounds
>>> GEPs in that case? Can't you just use non-inbounds GEPs if you know you
>>> might not have a valid base ptr and "optimize" it to inbounds once that
>>> is proven?
>>
>> You mean on the Rust side? We emit GEPi for field accesses and array indexing.