[PATCH] [analyzer] [proposal] Fix for PR20653

Aleksei Sidorin a.sidorin at samsung.com
Thu Aug 28 08:45:54 PDT 2014


Hi zaks.anna, jordan_rose, krememek,

Do not assume SymbolRegionValues live if their regions have direct bindings
http://llvm.org/bugs/show_bug.cgi?id=20563

http://reviews.llvm.org/D5104

Files:
  include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
  lib/StaticAnalyzer/Core/RegionStore.cpp
  lib/StaticAnalyzer/Core/SymbolManager.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5104.13040.patch
Type: text/x-patch
Size: 1884 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140828/c04182ed/attachment.bin>


More information about the cfe-commits mailing list