[PATCH] D64451: [PoisonChecking] Validate inbounds annotation on getelementptr where possible

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: sanjoy, nlopes, jdoerfert, aqjune.
Herald added subscribers: bollu, mcrosier.
Herald added a project: LLVM.

The rules for inbounds are a bit subtle, so I'd appreciate another set of eyes.  Please review the usage of getUnderlyingObject and getObjectSize carefully; my intent is to factor this out for use in inferring inbounds from the optimizer in the near future, so having it be correct is important.


Repository:
  rL LLVM

https://reviews.llvm.org/D64451

Files:
  lib/Transforms/Instrumentation/PoisonChecking.cpp
  test/Instrumentation/PoisonChecking/basic-flag-validation.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D64451.208819.patch
Type: text/x-patch
Size: 5397 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190709/c77dc8c9/attachment.bin>