summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/AnalysisContext.cpp
Commit message (Expand)AuthorAgeFilesLines
* Start migration of static analyzer to using theTed Kremenek2010-12-161-5/+4
* Let StackFrameContext represent if the call expr is evaluated as lvalue.Zhongxing Xu2010-11-241-5/+6
* Added two new command line arguments:Marcin Swiderski2010-09-301-1/+6
* Add CFG::BuildOptions class to pass in CFG builder options under on parameter...Ted Kremenek2010-09-141-3/+7
* Delete the relaxedLiveness object in the dtor of AnalysisContext.Ted Kremenek2010-08-281-0/+1
* Add alternate version of LiveVariables analysis that does not kill liveness a...Tom Care2010-08-271-0/+14
* Several small changes to PseudoConstantAnalysis and the way IdempotentOperati...Tom Care2010-08-231-3/+3
* Added psuedo-constant analysis and integrated it into the false positive redu...Tom Care2010-08-181-0/+8
* Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis...Ted Kremenek2010-08-031-1/+4
* Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to ...Ted Kremenek2010-08-021-1/+13
* Make a bunch of new data structures for the new analysisZhongxing Xu2010-07-221-1/+1
* Reapply r108617.Zhongxing Xu2010-07-191-2/+3
* Revert r108617, it broke the build.Benjamin Kramer2010-07-171-3/+2
* Prepare the analyzer for the callee in another translation unit:Zhongxing Xu2010-07-171-2/+3
* Only perform CFG-based warnings on 'static inline' functions thatTed Kremenek2010-03-231-12/+16
* When computing in AnalysisContext the variables referencedTed Kremenek2010-03-101-6/+20
* Add a utility method.Zhongxing Xu2010-02-171-0/+12
* Teach RegionStore::InvalidateRegions() to also invalidate static variables re...Ted Kremenek2010-02-061-2/+20
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-23/+3
* Speed up compilation by avoiding generating exceptional edges fromMike Stump2010-01-211-1/+1
* Add infrastructure to add base initializers and member initializers toMike Stump2010-01-211-1/+1
* Add an unreachable code checker.Mike Stump2010-01-131-0/+4
* As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu2009-12-241-3/+13
* Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gaveJeffrey Yasskin2009-12-121-1/+1
* Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek2009-12-111-0/+13
* Add analysis support for blocks. This includes a few key changes:Ted Kremenek2009-12-071-0/+14
* Teach AnalysisContext::getBody() about BlockDecls.Ted Kremenek2009-12-041-0/+2
* Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion...Ted Kremenek2009-12-041-3/+16
* Refactor LocationContext creation logic into a single member template.Ted Kremenek2009-12-041-48/+50
* Refactor FoldingSet profiling code for LocationContexts, and add a new BlockI...Ted Kremenek2009-12-041-8/+25
* Enhance LiveVariables to understand that blocks can extend the liveness of a ...Ted Kremenek2009-11-261-12/+75
* Add destructor and cleanup code to LocationContext (fixing some leaks). Along...Ted Kremenek2009-10-201-0/+21
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-9/+9
* Remove 'AnalysisContext::setDecl()', as we the Decl associated with anTed Kremenek2009-08-211-10/+13
* Constify LocationContext* (parent) and Stmt* fields in LocationContext.Ted Kremenek2009-08-211-6/+10
* Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.Ted Kremenek2009-08-211-0/+7
* add a bunch of routine methods to AnalysisContext.Zhongxing Xu2009-08-031-0/+50
* Fix build warnings.Mike Stump2009-07-311-1/+2
* This patch collects all analysis context data into a new class Zhongxing Xu2009-07-301-0/+73
OpenPOWER on IntegriCloud