diff options
author | Alexander Potapenko <glider@google.com> | 2012-09-07 15:34:40 +0000 |
---|---|---|
committer | Alexander Potapenko <glider@google.com> | 2012-09-07 15:34:40 +0000 |
commit | c5adb8a70066c1a33bb1c44891aa766a4c5e4f2d (patch) | |
tree | 0a8ec360f5c1d7c4156a1a0574626afea0ee7b31 /clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |
parent | e3d658bb6c0447042f260408de6a12408e7287e4 (diff) | |
download | bcm5719-llvm-c5adb8a70066c1a33bb1c44891aa766a4c5e4f2d.tar.gz bcm5719-llvm-c5adb8a70066c1a33bb1c44891aa766a4c5e4f2d.zip |
Two minor changes:
-- exit from infinite recursion in CHECK()
-- print a verbose message if mapping of the shadow memory has failed.
llvm-svn: 163391
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp')
0 files changed, 0 insertions, 0 deletions