Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 21e6f176015f8ffa0f162618c03f6d63746361ef / lib / Analysis / MemRegion.cpp
  1. 1b9b883 MemRegion: by Ted Kremenek · 16 years ago
  2. 41168ea Added the notion of a "boundable region", which is a region that can have a direct binding in the StoreManager. by Ted Kremenek · 16 years ago
  3. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 16 years ago
  4. 0312c0e Rename AnonTypedRegion to TypedViewRegion. by Ted Kremenek · 16 years ago
  5. a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 17 years ago
  6. 026c663 Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so by Zhongxing Xu · 17 years ago
  7. 14553ab Fix a couple bugs: by Ted Kremenek · 17 years ago
  8. 8318304 Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. by Ted Kremenek · 17 years ago
  9. c496f14 When getting the element region type, we should get the rvalue type of the super by Zhongxing Xu · 17 years ago
  10. e2916d6 StringRegion::print: Remove copy/paste code and just call Stmt::printPretty() for the StringLiteral. by Ted Kremenek · 17 years ago
  11. 7e5d6ed Add isSubRegionOf() method to SubRegion. by Zhongxing Xu · 17 years ago
  12. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 17 years ago
  13. 500d2ee Add pretty-printing for AnonTypedRegion. by Ted Kremenek · 17 years ago
  14. 6eddeb1 MemRegion: by Ted Kremenek · 17 years ago
  15. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 17 years ago
  16. c545862 Identify AnonPointeeRegion by the symbol that is concretized. by Zhongxing Xu · 17 years ago
  17. 3bb662a AnonPointeeRegions are now identified by the MemRegion of the pointer pointing by Zhongxing Xu · 17 years ago
  18. 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 17 years ago
  19. 6d0e2d2 Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed). by Ted Kremenek · 17 years ago
  20. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  21. d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 17 years ago
  22. 34265e7 Fold assertion into second valid else branch. This removes a compiler warning by Ted Kremenek · 17 years ago
  23. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 17 years ago
  24. 56af977 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's by Zhongxing Xu · 17 years ago
  25. d2f016f Fix StringLiteral print bug. by Zhongxing Xu · 17 years ago
  26. cc128b3 Add pretty printing to StringRegion. by Zhongxing Xu · 17 years ago
  27. 817c67d - Remove AnonTypedRegion, which is not to be used. by Zhongxing Xu · 17 years ago
  28. 7090ae1 Added AllocaRegion, which represents regions created by calls to alloca(). by Ted Kremenek · 17 years ago
  29. 9a1f03a Pull determination of the super region for a VarRegion into a single getVarRegion() method. This provides a common clean API for clients. by Ted Kremenek · 17 years ago
  30. 329d6fd Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal. by Ted Kremenek · 17 years ago
  31. 27b5706 An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 17 years ago
  32. e9f4e54 Add StringRegion to MemRegions. by Zhongxing Xu · 17 years ago
  33. a7f1b9e Added region ObjCObjectRegion that represents an instance of an Objective-C object. by Ted Kremenek · 17 years ago
  34. b21ff77 Add printing method to ElementRegion. by Zhongxing Xu · 17 years ago
  35. 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 17 years ago
  36. 4bd1eef Add pretty-printing support for FieldRegions. by Ted Kremenek · 17 years ago
  37. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 17 years ago
  38. 1789275 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. by Zhongxing Xu · 17 years ago
  39. 722c288 Fix typos. by Zhongxing Xu · 17 years ago
  40. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 17 years ago