Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 95c7b00fe857a61a19185483aa0d85492ec9e258 / lib / Analysis / RegionStore.cpp
  1. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  2. c4bf72c Add a bunch of getLValue* methods to RegionStore. by Zhongxing Xu · 16 years ago
  3. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  4. 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
  5. 53bcdd4 Process decls in RegionStore. Individual elements of fixed size arrays are by Zhongxing Xu · 16 years ago
  6. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  7. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  8. 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 · 16 years ago