[PATCH] D62978: [analyzer] trackExpressionValue(): Handle unknown values better
Csaba Dabis via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 11 11:01:34 PDT 2019
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>
More information about the cfe-commits
mailing list