aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/IdempotentOperationChecker.cpp
AgeCommit message (Expand)Author
2013-03-28[analyzer] Apply the suppression rules to the nil receiver only if the value ...Anna Zaks
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose
2012-05-31[analyzer] Fix BugType memory leak in IdempotentOperationChecker.Tom Care
2012-03-10Remove BlockDeclRefExpr and introduce a bit on DeclRefExpr toJohn McCall
2012-02-05Basic: import SmallString<> into clang namespaceDylan Noblesmith
2012-02-04Move a method from IdentifierTable.h out of line and remove the SmallString i...Benjamin Kramer
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-10-24Rename AnalysisContext to AnalysisDeclContext. Not only is this name more ac...Ted Kremenek
2011-10-03[analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOp...Anna Zaks
2011-08-19Static Analyzer Diagnostics: Kill the addVisitorCreator(callbackTy, void*) AP...Anna Zaks
2011-08-17Remove EnhancedBugReport and RangedBugReport - pull all the extra functionali...Anna Zaks
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek
2011-04-23Remove unused STL header includes.Jay Foad
2011-04-12Fix another IdempotentOperationsChecker corner case when determining if an ac...Ted Kremenek
2011-04-02Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn...Ted Kremenek
2011-04-02static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek
2011-03-19Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'.Ted Kremenek
2011-03-15Remove bogus assertion in IdempotentOperationsChecker.Ted Kremenek
2011-03-11Add support for the OpenCL vec_step operator, by generalising andPeter Collingbourne
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis
2011-02-23[analyzer] Migrate IdempotentOperationChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-23Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in...Ted Kremenek
2011-02-23Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext.Ted Kremenek
2011-02-17[analyzer] Pass CheckerManager to the registration functions.Argyrios Kyrtzidis
2011-02-17Change the representation of GNU ?: expressions to use a different expressionJohn McCall
2011-02-15[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.Argyrios Kyrtzidis
2011-02-15IdempotentOperationChecker: don't repeatedly recompute block reachability.Ted Kremenek
2011-02-14Remove dead code in IdempotentOperationChecker.Ted Kremenek
2011-02-14Fix edge case where we don't cull warnings in IdempotentOperationsChecker due...Ted Kremenek
2011-02-14Use 'BitVector' instead of SmallPtrSet<CFGBlock*> in IdempotentOperationsChec...Ted Kremenek
2011-02-12Teach the IdempotentOperations checker to ignore property setters.Ted Kremenek
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/...Argyrios Kyrtzidis
2011-01-11Rename misc. methods in ento::Worklist to startTed Kremenek
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek