Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / cd285d061546b701431b4214e068e024245a96f5 / lib / Analysis / AnalysisDeclContext.cpp
  1. 682060c Colorize and condense CFG pretty-printing. by Ted Kremenek · 13 years ago
  2. 15ce164 Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObjExprs. It turns out by Ted Kremenek · 13 years ago
  3. ccf1bfd [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 13 years ago
  4. 8e02604 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 13 years ago[Renamed from lib/Analysis/AnalysisContext.cpp]
  5. 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
  6. b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
  7. a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
  8. a2d7e65 [analyzer] Constify a method. by Anna Zaks · 13 years ago
  9. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
  10. 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
  11. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  12. ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 13 years ago
  13. af13d5b Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 14 years ago
  14. 0d28d36 When doing reachability analysis for warnings issued under DiagRuntimeBehavior, don't construct a ParentMap or CFGStmtMap. by Ted Kremenek · 14 years ago
  15. b8ad5ee Rework interaction between AnalysisContext and CFG::BuildOptions to keep a BuildOptions object around instead of keeping a copy of the flags. by Ted Kremenek · 14 years ago
  16. 42461ee Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file. by Ted Kremenek · 14 years ago
  17. 283a358 Have IdempotentOperationsChecker pull its CFGStmtMap from AnalysisContext. by Ted Kremenek · 14 years ago
  18. 7502c1d Give some convenient idiomatic accessors to Stmt::child_range and by John McCall · 14 years ago
  19. 04eeba4 Add AnalysisContext::dumpCFG. by Anders Carlsson · 14 years ago
  20. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  21. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 14 years ago
  22. 9121ba2 Added two new command line arguments: by Marcin Swiderski · 14 years ago
  23. 6c52c78 Add CFG::BuildOptions class to pass in CFG builder options under on parameter. Patch by Marcin Świderski! by Ted Kremenek · 14 years ago
  24. 91c83e7 Delete the relaxedLiveness object in the dtor of AnalysisContext. by Ted Kremenek · 14 years ago
  25. ec49bf4 Add alternate version of LiveVariables analysis that does not kill liveness at assignments. This 'relaxed' liveness is useful in path sensitive analysis for situations where the resulting extended liveness allows us to find some bugs. by Tom Care · 14 years ago
  26. db34ab7 Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it. by Tom Care · 14 years ago
  27. 245adab Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker. by Tom Care · 14 years ago
  28. 9b823e8 Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges. by Ted Kremenek · 14 years ago
  29. ad5a894 Add 'AnalysisContext::getUnoptimizedCFG()' to allow clients to get access to the original by Ted Kremenek · 14 years ago
  30. 2ce43c8 Make a bunch of new data structures for the new analysis by Zhongxing Xu · 14 years ago
  31. c6238d2 Reapply r108617. by Zhongxing Xu · 14 years ago
  32. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 14 years ago
  33. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 14 years ago
  34. d064fdc Only perform CFG-based warnings on 'static inline' functions that by Ted Kremenek · 15 years ago
  35. 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 15 years ago
  36. 8ddf7ce Add a utility method. by Zhongxing Xu · 15 years ago
  37. 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
  38. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago
  39. 4c45aa1 Speed up compilation by avoiding generating exceptional edges from by Mike Stump · 15 years ago
  40. b978a44 Add infrastructure to add base initializers and member initializers to by Mike Stump · 15 years ago
  41. fa6ef18 Add an unreachable code checker. by Mike Stump · 15 years ago
  42. 62d399e As Ted suggested, record the callsite information with the StackFrameContext. by Zhongxing Xu · 15 years ago
  43. 9f61aa9 Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gave by Jeffrey Yasskin · 15 years ago
  44. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  45. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  46. 30a4534 Teach AnalysisContext::getBody() about BlockDecls. by Ted Kremenek · 15 years ago
  47. d02e83a Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion*, giving us choice in our degree of context-sensitivity. by Ted Kremenek · 15 years ago
  48. 0ee4124 Refactor LocationContext creation logic into a single member template. by Ted Kremenek · 15 years ago
  49. dc0d909 Refactor FoldingSet profiling code for LocationContexts, and add a new BlockInvocationContext to represent the invocation of a block. by Ted Kremenek · 15 years ago
  50. b1a7b65 Enhance LiveVariables to understand that blocks can extend the liveness of a variable by "capturing" them in a BlockExpr. by Ted Kremenek · 15 years ago
  51. 58f5ec7 Add destructor and cleanup code to LocationContext (fixing some leaks). Along the way, have by Ted Kremenek · 15 years ago
  52. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  53. 2376002 Remove 'AnalysisContext::setDecl()', as we the Decl associated with an by Ted Kremenek · 15 years ago
  54. 54c809b Constify LocationContext* (parent) and Stmt* fields in LocationContext. by Ted Kremenek · 15 years ago
  55. 82cd37c Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. by Ted Kremenek · 15 years ago
  56. 18c7c06 add a bunch of routine methods to AnalysisContext. by Zhongxing Xu · 15 years ago
  57. 87a05f1 Fix build warnings. by Mike Stump · 15 years ago
  58. 97ab394 This patch collects all analysis context data into a new class AnalysisContext. by Zhongxing Xu · 15 years ago