diff options
| author | Kristof Umann <dkszelethus@gmail.com> | 2019-08-21 21:59:22 +0000 |
|---|---|---|
| committer | Kristof Umann <dkszelethus@gmail.com> | 2019-08-21 21:59:22 +0000 |
| commit | 00d62d777089f5b1d122e9dd1e1c1c3f6bfa3917 (patch) | |
| tree | 55edcaa661aad1413bcb76920c0c0fe7fad047c6 /include | |
| parent | d1cb18cc31e9ba4926dd020af716b287bd0b63a7 (diff) | |
| download | clang-00d62d777089f5b1d122e9dd1e1c1c3f6bfa3917.tar.gz | |
[analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field
Exactly what it says on the tin! Note that we're talking about interestingness
in general, hence this isn't a control-dependency-tracking specific patch.
Differential Revision: https://reviews.llvm.org/D65724
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@369589 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h b/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h index f607494e1e..1d8167ad4f 100644 --- a/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h +++ b/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h @@ -211,8 +211,10 @@ public: /// Visitor that tries to report interesting diagnostics from conditions. class ConditionBRVisitor final : public BugReporterVisitor { // FIXME: constexpr initialization isn't supported by MSVC2013. - static const char *const GenericTrueMessage; - static const char *const GenericFalseMessage; + constexpr static llvm::StringLiteral GenericTrueMessage = + "Assuming the condition is true"; + constexpr static llvm::StringLiteral GenericFalseMessage = + "Assuming the condition is false"; public: void Profile(llvm::FoldingSetNodeID &ID) const override { |