projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90c2794) | patch
[analyzer][CFG] Don't track the condition of asserts
authorKristof Umann <dkszelethus@gmail.com>
Wed, 14 Aug 2019 12:20:08 +0000 (12:20 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Wed, 14 Aug 2019 12:20:08 +0000 (12:20 +0000)
commitdd53bdbfdec7a179e8fb38008ab2b397572b3a69
tree796c6a849216ab239579ad2b57453f2f5d4e1454tree | snapshot
parent90c2794bfc337338b4e4ec8421c75735e7207e6ecommit | diff
[analyzer][CFG] Don't track the condition of asserts

Well, what is says on the tin I guess!

Some more changes:

* Move isInevitablySinking() from BugReporter.cpp to CFGBlock's interface
* Rename and move findBlockForNode() from BugReporter.cpp to
ExplodedNode::getCFGBlock()

Differential Revision: https://reviews.llvm.org/D65287

llvm-svn: 368836
clang/include/clang/Analysis/CFG.h diff | blob | history
clang/lib/Analysis/CFG.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporter.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp diff | blob | history
clang/test/Analysis/track-control-dependency-conditions.cpp diff | blob | history
Domain: System / Toolchain;