aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2016-05-27Apply clang-tidy's misc-move-constructor-init throughout Clang.Benjamin Kramer1-1/+2
2015-09-16[analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin1-1/+1
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-2/+2
2015-07-03Rewrite users of Stmt::child_begin/end into for-range loops.Benjamin Kramer1-6/+4
2015-06-23Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman1-2/+2
2015-06-22Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko1-1/+1
2015-06-22Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko1-1/+1
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-1/+1
2014-03-07Replace OwningPtr with std::unique_ptr.Ahmed Charles1-1/+1
2014-02-11Expose the name of the checker producing each diagnostic message.Alexander Kornienko1-2/+2
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie1-1/+1
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-1/+1
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose1-1/+1
2012-08-29[analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks1-1/+0
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose1-1/+1
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose1-1/+1
2012-05-31Allow some BugReports to opt-out of PathDiagnostic callstack pruning until we...Ted Kremenek1-0/+1
2012-03-09[analyzer] Implement basic path diagnostic pruning based on "interesting" sym...Ted Kremenek1-1/+1
2012-02-05Basic: import OwningPtr<> into clang namespaceDylan Noblesmith1-1/+1
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-3/+3
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek1-4/+8
2011-10-25[analyzer] Make branch for condition callback use CheckerContextAnna Zaks1-14/+5
2011-10-18[analyzer] Make NodeBuilder and Pred node loosely coupledAnna Zaks1-5/+5
2011-10-18[analyzer] Modularize builder use in processBranch.Anna Zaks1-7/+11
2011-10-18[analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder.Anna Zaks1-2/+2
2011-10-03[analyzer] In UndefBranchChecker, use a node generator which does not create ...Anna Zaks1-1/+1
2011-10-03[analyzer] Cleanup in UndefBranchChecker:Anna Zaks1-7/+4
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks1-2/+2
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks1-1/+1
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek1-5/+5
2011-08-12Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer a...Ted Kremenek1-9/+9
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis1-2/+2
2011-02-28[analyzer] Migrate UndefBranchChecker to CheckerV2.Argyrios Kyrtzidis1-21/+17
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek1-2/+2
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis1-1/+1
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek1-0/+120