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

Phabricator via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri May 4 13:56:15 PDT 2018


This revision was automatically updated to reflect the committed changes.
Closed by commit rC331556: [analyzer] Treat more const variables and fields as known contants. (authored by dergachev, committed by ).

Repository:
  rC Clang

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.145288.patch
Type: text/x-patch
Size: 6746 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180504/4acc8d30/attachment-0001.bin>


More information about the cfe-commits mailing list