Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 5ba7d2156f5b3f7b078b33fa9cd264762bc6779b / lib / Analysis / ValueManager.cpp
  1. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  2. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  3. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  4. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  5. 8780679 Fix: by Ted Kremenek · 15 years ago
  6. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  7. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  8. abd46e1 Use SymbolicRegion instead of CodeTextRegion for symbolic function by Ted Kremenek · 15 years ago
  9. 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
  10. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  11. 675bef6 Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTypes. by Ted Kremenek · 15 years ago
  12. 06669c8 Two changes: by Ted Kremenek · 15 years ago
  13. fb91c70 Introduced the notion of a "derived symbol" using the class SymbolDerived. by Ted Kremenek · 15 years ago
  14. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
  15. 2ace5cd Split ValueManager method definitions into its own source file. by Zhongxing Xu · 15 years ago