[PATCH] D45774: [analyzer] cover more cases where a Loc can be bound to constants

Rafael Stahl via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri May 4 00:25:03 PDT 2018


r.stahl updated this revision to Diff 145156.
r.stahl marked 3 inline comments as done.
r.stahl added a comment.

addressed the comments, thanks!

If it looks good, please commit for me.


https://reviews.llvm.org/D45774

Files:
  lib/StaticAnalyzer/Core/RegionStore.cpp
  lib/StaticAnalyzer/Core/SValBuilder.cpp
  test/Analysis/globals.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D45774.145156.patch
Type: text/x-patch
Size: 6746 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180504/8ce19f4e/attachment.bin>


More information about the cfe-commits mailing list