We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
offset(0)
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 text was updated successfully, but these errors were encountered:
No branches or pull requests
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.The text was updated successfully, but these errors were encountered: