Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
27b57063d83b00474d7563fb5d608544e2364862
/
lib
/
Analysis
/
MemRegion.cpp
27b5706
An ElementRegion is really a typed region. Its super region's type has to be ArrayType.
by Zhongxing Xu
· 16 years ago
e9f4e54
Add StringRegion to MemRegions.
by Zhongxing Xu
· 16 years ago
a7f1b9e
Added region ObjCObjectRegion that represents an instance of an Objective-C object.
by Ted Kremenek
· 16 years ago
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