Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
3bb662a8635a1f85a64719759ead76abffe0e172
/
lib
/
Analysis
/
MemRegion.cpp
3bb662a
AnonPointeeRegions are now identified by the MemRegion of the pointer pointing
by Zhongxing Xu
· 16 years ago
562731e
Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber().
by Ted Kremenek
· 16 years ago
6d0e2d2
Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed).
by Ted Kremenek
· 16 years ago
2dabd43
Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values.
by Ted Kremenek
· 16 years ago
d9d22dd
Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of
by Chris Lattner
· 16 years ago
34265e7
Fold assertion into second valid else branch. This removes a compiler warning
by Ted Kremenek
· 16 years ago
dc0a25d
Enhances SCA to process untyped region to typed region conversion.
by Zhongxing Xu
· 16 years ago
56af977
Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's
by Zhongxing Xu
· 16 years ago
d2f016f
Fix StringLiteral print bug.
by Zhongxing Xu
· 16 years ago
cc128b3
Add pretty printing to StringRegion.
by Zhongxing Xu
· 16 years ago
817c67d
- Remove AnonTypedRegion, which is not to be used.
by Zhongxing Xu
· 16 years ago
7090ae1
Added AllocaRegion, which represents regions created by calls to alloca().
by Ted Kremenek
· 16 years ago
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
· 16 years ago
329d6fd
Added CompoundLiteralRegion to represent the (temporary) memory allocated for a compound literal.
by Ted Kremenek
· 16 years ago
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