Open RalfJung opened 1 month ago
The offset intrinsic (called inbounds_gep in the codegen_ssa API) is now always defined when the offset is 0, even if the pointer is 0 or dangling.
offset
inbounds_gep
The GCC backend uses new_array_access to model that; it is important to make sure that if the index is 0, this is never UB.
new_array_access
The
offset
intrinsic (calledinbounds_gep
in the codegen_ssa API) is now always defined when the offset is 0, even if the pointer is 0 or dangling.The GCC backend uses
new_array_access
to model that; it is important to make sure that if the index is 0, this is never UB.