[PATCH] D62978: [analyzer] trackExpressionValue(): Handle unknown values better

[Csaba Dabis via Phabricator via cfe-commits]

Charusso updated this revision to Diff 204113.
Charusso retitled this revision from "[analyzer] ReturnVisitor: Handle unknown ReturnStmts better" to "[analyzer] trackExpressionValue(): Handle unknown values better".
Charusso edited the summary of this revision.

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62978/new/

https://reviews.llvm.org/D62978

Files:
  clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
  clang/test/Analysis/CFContainers.mm
  clang/test/Analysis/Inputs/expected-plists/edges-new.mm.plist
  clang/test/Analysis/Inputs/expected-plists/null-deref-path-notes.m.plist
  clang/test/Analysis/Inputs/expected-plists/plist-macros.cpp.plist
  clang/test/Analysis/Inputs/expected-plists/plist-output.m.plist
  clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist
  clang/test/Analysis/diagnostics/deref-track-symbolic-region.c
  clang/test/Analysis/diagnostics/deref-track-symbolic-region.cpp
  clang/test/Analysis/diagnostics/find_last_store.c
  clang/test/Analysis/diagnostics/macro-null-return-suppression.cpp
  clang/test/Analysis/inlining/Inputs/expected-plists/path-notes.c.plist
  clang/test/Analysis/inlining/Inputs/expected-plists/path-notes.cpp.plist
  clang/test/Analysis/inlining/path-notes.c
  clang/test/Analysis/inlining/path-notes.cpp
  clang/test/Analysis/loop-widening-notes.cpp
  clang/test/Analysis/null-deref-path-notes.cpp
  clang/test/Analysis/null-deref-path-notes.m
  clang/test/Analysis/taint-diagnostic-visitor.c
  clang/test/Analysis/uninit-const.c
  clang/test/Analysis/uninit-const.cpp
  clang/test/Analysis/uninit-vals.c
  clang/test/Analysis/uninit-vals.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62978.204113.patch
Type: text/x-patch
Size: 134442 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190611/11b73e0d/attachment-0001.bin>