[PATCH] D45071: [analyzer] Track null or undef values through pointer arithmetic.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ updated this revision to Diff 140466.
NoQ added a comment.

Substraction is an additive operation. Added tests for that. Added even more tests.


https://reviews.llvm.org/D45071

Files:
  lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
  test/Analysis/inlining/inline-defensive-checks.c
  test/Analysis/null-deref-path-notes.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D45071.140466.patch
Type: text/x-patch
Size: 5679 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180330/dc7e8a2b/attachment.bin>