[PATCH] D34121: [ubsan] Teach the pointer overflow check that "p - <unsigned> <= p" (PR33430)

[Vedant Kumar via Phabricator via cfe-commits]

vsk updated this revision to Diff 103606.
vsk added a comment.

Fix a typo introduced in emitArraySubscriptGEP while refactoring /*isSubtraction=false*/ to CodeGenFunction::NotSubtraction, and add CHECK lines which catch the issue.


https://reviews.llvm.org/D34121

Files:
  lib/CodeGen/CGExpr.cpp
  lib/CodeGen/CGExprScalar.cpp
  lib/CodeGen/CodeGenFunction.h
  test/CodeGen/ubsan-pointer-overflow.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34121.103606.patch
Type: text/x-patch
Size: 9549 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170622/9c1a6b2e/attachment-0001.bin>