From 2f169e7cdd9973d2aa4cba6b0a09126a5e7268ec Mon Sep 17 00:00:00 2001 From: Artem Dergachev Date: Mon, 9 Sep 2019 20:34:40 +0000 Subject: [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports. Checkers are now required to specify whether they're creating a path-sensitive report or a path-insensitive report by constructing an object of the respective type. This makes BugReporter more independent from the rest of the Static Analyzer because all Analyzer-specific code is now in sub-classes. Differential Revision: https://reviews.llvm.org/D66572 llvm-svn: 371450 --- clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp') diff --git a/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp index 805c46a3809..1423b9c39b2 100644 --- a/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp @@ -34,7 +34,9 @@ void BoolAssignmentChecker::emitReport(ProgramStateRef state, if (ExplodedNode *N = C.generateNonFatalErrorNode(state)) { if (!BT) BT.reset(new BuiltinBug(this, "Assignment of a non-Boolean value")); - C.emitReport(std::make_unique(*BT, BT->getDescription(), N)); + + C.emitReport( + std::make_unique(*BT, BT->getDescription(), N)); } } -- cgit v1.2.3