[PATCH] D33910: [ubsan] Detect invalid unsigned pointer index expression (clang)
Will Dietz via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 12 08:40:45 PDT 2017
dtzWill accepted this revision.
dtzWill added a comment.
Sorry for missing this originally, as a perhaps interesting note:
the checks were extracted from a research prototype that worked at the IR level --where pointer itself is unsigned but the offsets (including the computed total offset) is a signed expression.
(we also tracked conversions and whatnot, so... well things were different. Anyway, sorry for missing this!)
This looks great to me, thanks for identifying this and putting it together!
More information about the cfe-commits