Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
b21ff77c8126ea628b66d2ffb931fdaa7884f5d2
/
lib
/
Analysis
/
MemRegion.cpp
b21ff77
Add printing method to ElementRegion.
by Zhongxing Xu
· 16 years ago
511191c
Add ElementRegion to represent memory chunks for array elements.
by Zhongxing Xu
· 16 years ago
4bd1eef
Add pretty-printing support for FieldRegions.
by Ted Kremenek
· 16 years ago
993f1c7
- constify some uses of MemRegion* (MemRegion should be immutable).
by Ted Kremenek
· 16 years ago
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
722c288
Fix typos.
by Zhongxing Xu
· 16 years ago
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
· 16 years ago