diff options
author | Roman Lebedev <lebedev.ri@gmail.com> | 2019-01-15 09:44:13 +0000 |
---|---|---|
committer | Roman Lebedev <lebedev.ri@gmail.com> | 2019-01-15 09:44:13 +0000 |
commit | 6d0413fe237f444fc83ec6e433b50fb1908a3c18 (patch) | |
tree | 39f55b707e078c21257599354fecdaf3996754da /clang/docs | |
parent | d83fe8949725aa5e5d63f6f65a696b2c0d5c3382 (diff) |
[llvm][IRBuilder] Introspection for CreateAlignmentAssumption*() functions
Summary:
Clang calls these functions to produce IR for assume-aligned attributes.
I would like to teach UBSAN to verify these assumptions.
For that, i need to access the final pointer on which the check is performed,
and the actual `icmp` that does the check.
The alternative to this would be to fully re-implement this in clang.
This is a second commit, the original one was r351104,
which was mass-reverted in r351159 because 2 compiler-rt tests were failing.
Reviewers: spatel, dneilson, craig.topper, dblaikie, hfinkel
Reviewed By: hfinkel
Subscribers: hfinkel, llvm-commits
Differential Revision: https://reviews.llvm.org/D54588
llvm-svn: 351176
Diffstat (limited to 'clang/docs')
0 files changed, 0 insertions, 0 deletions