aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/AnalysisContext.cpp
AgeCommit message (Expand)AuthorFilesLines
2011-07-21Simplify passing of CFGBuildOptions around for AnalysisContext. No functiona...Ted Kremenek1-15/+29
2011-06-10[analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose1-4/+4
2011-03-19Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'.Ted Kremenek1-2/+2
2011-03-10When doing reachability analysis for warnings issued under DiagRuntimeBehavio...Ted Kremenek1-0/+20
2011-03-10Rework interaction between AnalysisContext and CFG::BuildOptions to keep a Bu...Ted Kremenek1-48/+48
2011-02-23Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in...Ted Kremenek1-0/+13
2011-02-23Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext.Ted Kremenek1-0/+15
2011-02-13Give some convenient idiomatic accessors to Stmt::child_range andJohn McCall1-1/+1
2011-01-16Add AnalysisContext::dumpCFG.Anders Carlsson1-0/+4
2010-12-16Start migration of static analyzer to using theTed Kremenek1-5/+4
2010-11-24Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu1-5/+6
2010-09-30Added two new command line arguments:Marcin Swiderski1-1/+6
2010-09-14Add CFG::BuildOptions class to pass in CFG builder options under on parameter...Ted Kremenek1-3/+7
2010-08-28Delete the relaxedLiveness object in the dtor of AnalysisContext.Ted Kremenek1-0/+1
2010-08-27Add alternate version of LiveVariables analysis that does not kill liveness a...Tom Care1-0/+14
2010-08-23Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care1-3/+3
2010-08-18Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care1-0/+8
2010-08-03Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis...Ted Kremenek1-1/+4
2010-08-02Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to ...Ted Kremenek1-1/+13
2010-07-22Make a bunch of new data structures for the new analysisZhongxing Xu1-1/+1
2010-07-19Reapply r108617.Zhongxing Xu1-2/+3
2010-07-17Revert r108617, it broke the build.Benjamin Kramer1-3/+2
2010-07-17Prepare the analyzer for the callee in another translation unit:Zhongxing Xu1-2/+3
2010-03-23Only perform CFG-based warnings on 'static inline' functions thatTed Kremenek1-12/+16
2010-03-10When computing in AnalysisContext the variables referencedTed Kremenek1-6/+20
2010-02-17Add a utility method.Zhongxing Xu1-0/+12
2010-02-06Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek1-2/+20
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek1-23/+3
2010-01-21Speed up compilation by avoiding generating exceptional edges fromMike Stump1-1/+1
2010-01-21Add infrastructure to add base initializers and member initializers toMike Stump1-1/+1
2010-01-13Add an unreachable code checker.Mike Stump1-0/+4
2009-12-24As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu1-3/+13
2009-12-12Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gaveJeffrey Yasskin1-1/+1
2009-12-11Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek1-0/+13
2009-12-07Add analysis support for blocks. This includes a few key changes:Ted Kremenek1-0/+14
2009-12-04Teach AnalysisContext::getBody() about BlockDecls.Ted Kremenek1-0/+2
2009-12-04Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion...Ted Kremenek1-3/+16
2009-12-04Refactor LocationContext creation logic into a single member template.Ted Kremenek1-48/+50
2009-12-04Refactor FoldingSet profiling code for LocationContexts, and add a new BlockI...Ted Kremenek1-8/+25
2009-11-26Enhance LiveVariables to understand that blocks can extend the liveness of a ...Ted Kremenek1-12/+75
2009-10-20Add destructor and cleanup code to LocationContext (fixing some leaks). Along...Ted Kremenek1-0/+21
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump1-9/+9
2009-08-21Remove 'AnalysisContext::setDecl()', as we the Decl associated with anTed Kremenek1-10/+13
2009-08-21Constify LocationContext* (parent) and Stmt* fields in LocationContext.Ted Kremenek1-6/+10
2009-08-21Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek1-0/+7
2009-08-03add a bunch of routine methods to AnalysisContext.Zhongxing Xu1-0/+50
2009-07-31Fix build warnings.Mike Stump1-1/+2
2009-07-30This patch collects all analysis context data into a new class Zhongxing Xu1-0/+73
generated by cgit v1.1 at 2026-01-07 09:08:03 +0000