[llvm-branch-commits] [cfe-branch] r71345 - in /cfe/branches/Apple/Dib: include/clang/Analysis/PathSensitive/GRState.h include/clang/Analysis/PathSensitive/MemRegion.h lib/Analysis/BasicObjCFoundationChecks.cpp lib/Analysis/BasicStore.cpp lib/Analysis/CFRefCount.cpp lib/Analysis/GRExprEngine.cpp lib/Analysis/RegionStore.cpp lib/Analysis/SVals.cpp lib/Analysis/SymbolManager.cpp
Mike Stump
mrs at apple.com
Fri May 8 23:24:38 PDT 2009
Author: mrs
Date: Sat May 9 01:24:38 2009
New Revision: 71345
URL: http://llvm.org/viewvc/llvm-project?rev=71345&view=rev
Log:
Merge in 71321:
As discussed with Ted, rename TypedRegion::getObjectType() to
TypedRegion::getValueType().
Modified:
cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/GRState.h
cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h
cfe/branches/Apple/Dib/lib/Analysis/BasicObjCFoundationChecks.cpp
cfe/branches/Apple/Dib/lib/Analysis/BasicStore.cpp
cfe/branches/Apple/Dib/lib/Analysis/CFRefCount.cpp
cfe/branches/Apple/Dib/lib/Analysis/GRExprEngine.cpp
cfe/branches/Apple/Dib/lib/Analysis/RegionStore.cpp
cfe/branches/Apple/Dib/lib/Analysis/SVals.cpp
cfe/branches/Apple/Dib/lib/Analysis/SymbolManager.cpp
Modified: cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/GRState.h
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/GRState.h?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/GRState.h (original)
+++ cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/GRState.h Sat May 9 01:24:38 2009
@@ -513,7 +513,7 @@
return UnknownVal();
if (const TypedRegion *TR = dyn_cast<TypedRegion>(R)) {
- QualType T = TR->getObjectType(getContext());
+ QualType T = TR->getValueType(getContext());
if (Loc::IsLocType(T) || T->isIntegerType())
return GetSVal(state, R);
}
Modified: cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/branches/Apple/Dib/include/clang/Analysis/PathSensitive/MemRegion.h Sat May 9 01:24:38 2009
@@ -148,15 +148,15 @@
TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {}
public:
- virtual QualType getObjectType(ASTContext &C) const = 0;
+ virtual QualType getValueType(ASTContext &C) const = 0;
virtual QualType getLocationType(ASTContext& C) const {
// FIXME: We can possibly optimize this later to cache this value.
- return C.getPointerType(getObjectType(C));
+ return C.getPointerType(getValueType(C));
}
- QualType getDesugaredObjectType(ASTContext& C) const {
- QualType T = getObjectType(C);
+ QualType getDesugaredValueType(ASTContext& C) const {
+ QualType T = getValueType(C);
return T.getTypePtr() ? T->getDesugaredType() : T;
}
@@ -165,7 +165,7 @@
}
bool isBoundable(ASTContext &C) const {
- return !getObjectType(C).isNull();
+ return !getValueType(C).isNull();
}
static bool classof(const MemRegion* R) {
@@ -206,7 +206,7 @@
Data(sym),
LocationType(t) {}
- QualType getObjectType(ASTContext &C) const {
+ QualType getValueType(ASTContext &C) const {
// Do not get the object type of a CodeTextRegion.
assert(0);
return QualType();
@@ -287,7 +287,7 @@
const StringLiteral* getStringLiteral() const { return Str; }
- QualType getObjectType(ASTContext& C) const {
+ QualType getValueType(ASTContext& C) const {
return Str->getType();
}
@@ -320,7 +320,7 @@
return LValueType;
}
- QualType getObjectType(ASTContext&) const {
+ QualType getValueType(ASTContext&) const {
const PointerType* PTy = LValueType->getAsPointerType();
assert(PTy);
return PTy->getPointeeType();
@@ -357,7 +357,7 @@
const CompoundLiteralExpr* CL,
const MemRegion* superRegion);
public:
- QualType getObjectType(ASTContext& C) const {
+ QualType getValueType(ASTContext& C) const {
return C.getCanonicalType(CL->getType());
}
@@ -406,7 +406,7 @@
public:
const VarDecl* getDecl() const { return cast<VarDecl>(D); }
- QualType getObjectType(ASTContext& C) const {
+ QualType getValueType(ASTContext& C) const {
// FIXME: We can cache this if needed.
return C.getCanonicalType(getDecl()->getType());
}
@@ -430,7 +430,7 @@
const FieldDecl* getDecl() const { return cast<FieldDecl>(D); }
- QualType getObjectType(ASTContext& C) const {
+ QualType getValueType(ASTContext& C) const {
// FIXME: We can cache this if needed.
return C.getCanonicalType(getDecl()->getType());
}
@@ -462,7 +462,7 @@
return cast<ObjCInterfaceDecl>(D);
}
- QualType getObjectType(ASTContext& C) const {
+ QualType getValueType(ASTContext& C) const {
return C.getObjCInterfaceType(getInterface());
}
@@ -485,7 +485,7 @@
public:
const ObjCIvarDecl* getDecl() const { return cast<ObjCIvarDecl>(D); }
- QualType getObjectType(ASTContext&) const { return getDecl()->getType(); }
+ QualType getValueType(ASTContext&) const { return getDecl()->getType(); }
static bool classof(const MemRegion* R) {
return R->getKind() == ObjCIvarRegionKind;
@@ -513,7 +513,7 @@
SVal getIndex() const { return Index; }
- QualType getObjectType(ASTContext&) const {
+ QualType getValueType(ASTContext&) const {
return ElementType;
}
Modified: cfe/branches/Apple/Dib/lib/Analysis/BasicObjCFoundationChecks.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/BasicObjCFoundationChecks.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/BasicObjCFoundationChecks.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/BasicObjCFoundationChecks.cpp Sat May 9 01:24:38 2009
@@ -417,7 +417,7 @@
if (!R) return false;
}
- QualType T = Ctx.getCanonicalType(R->getObjectType(Ctx));
+ QualType T = Ctx.getCanonicalType(R->getValueType(Ctx));
// FIXME: If the pointee isn't an integer type, should we flag a warning?
// People can do weird stuff with pointers.
Modified: cfe/branches/Apple/Dib/lib/Analysis/BasicStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/BasicStore.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/BasicStore.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/BasicStore.cpp Sat May 9 01:24:38 2009
@@ -357,7 +357,7 @@
// elsewhere. Food for thought.
if (const TypedRegion *TyR = dyn_cast<TypedRegion>(R)) {
if (TyR->isBoundable(C) &&
- Loc::IsLocType(TyR->getObjectType(C)))
+ Loc::IsLocType(TyR->getValueType(C)))
V = X->getLoc();
}
}
Modified: cfe/branches/Apple/Dib/lib/Analysis/CFRefCount.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/CFRefCount.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/CFRefCount.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/CFRefCount.cpp Sat May 9 01:24:38 2009
@@ -2661,7 +2661,7 @@
if (R->isBoundable(Ctx)) {
// Set the value of the variable to be a conjured symbol.
unsigned Count = Builder.getCurrentBlockCount();
- QualType T = R->getObjectType(Ctx);
+ QualType T = R->getValueType(Ctx);
if (Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType())){
ValueManager &ValMgr = Eng.getValueManager();
Modified: cfe/branches/Apple/Dib/lib/Analysis/GRExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/GRExprEngine.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/GRExprEngine.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/GRExprEngine.cpp Sat May 9 01:24:38 2009
@@ -1785,7 +1785,7 @@
// FIXME: The proper thing to do is to really iterate over the
// container. We will do this with dispatch logic to the store.
// For now, just 'conjure' up a symbolic value.
- QualType T = R->getObjectType(getContext());
+ QualType T = R->getValueType(getContext());
assert (Loc::IsLocType(T));
unsigned Count = Builder->getCurrentBlockCount();
SymbolRef Sym = SymMgr.getConjuredSymbol(elem, T, Count);
Modified: cfe/branches/Apple/Dib/lib/Analysis/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/RegionStore.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/RegionStore.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/RegionStore.cpp Sat May 9 01:24:38 2009
@@ -492,7 +492,7 @@
const MemRegion* R) {
if (const VarRegion* VR = dyn_cast<VarRegion>(R)) {
// Get the type of the variable.
- QualType T = VR->getDesugaredObjectType(getContext());
+ QualType T = VR->getDesugaredValueType(getContext());
// FIXME: Handle variable-length arrays.
if (isa<VariableArrayType>(T))
@@ -510,7 +510,7 @@
// that type.
if (CastTy) {
QualType EleTy =cast<PointerType>(CastTy->getTypePtr())->getPointeeType();
- QualType VarTy = VR->getObjectType(getContext());
+ QualType VarTy = VR->getValueType(getContext());
uint64_t EleSize = getContext().getTypeSize(EleTy);
uint64_t VarSize = getContext().getTypeSize(VarTy);
return NonLoc::MakeIntVal(getBasicVals(), VarSize / EleSize, false);
@@ -605,8 +605,8 @@
if (!ArrayR)
return UnknownVal();
- // Strip off typedefs from the ArrayRegion's ObjectType.
- QualType T = ArrayR->getObjectType(getContext())->getDesugaredType();
+ // Strip off typedefs from the ArrayRegion's ValueType.
+ QualType T = ArrayR->getValueType(getContext())->getDesugaredType();
ArrayType *AT = cast<ArrayType>(T);
T = AT->getElementType();
@@ -676,7 +676,7 @@
return CastResult(state, R);
}
- QualType ObjTy = cast<TypedRegion>(R)->getObjectType(getContext());
+ QualType ObjTy = cast<TypedRegion>(R)->getValueType(getContext());
uint64_t PointeeTySize = getContext().getTypeSize(PointeeTy);
uint64_t ObjTySize = getContext().getTypeSize(ObjTy);
@@ -722,7 +722,7 @@
// p += 3;
// Note that p binds to a TypedViewRegion(SymbolicRegion).
nonloc::ConcreteInt Idx(getBasicVals().getZeroWithPtrWidth(false));
- ER = MRMgr.getElementRegion(TR->getObjectType(getContext()), Idx, TR);
+ ER = MRMgr.getElementRegion(TR->getValueType(getContext()), Idx, TR);
}
SVal Idx = ER->getIndex();
@@ -782,7 +782,7 @@
//
// Such funny addressing will occur due to layering of regions.
- QualType RTy = R->getObjectType(getContext());
+ QualType RTy = R->getValueType(getContext());
if (RTy->isStructureType())
return RetrieveStruct(St, R);
@@ -868,7 +868,7 @@
}
SVal RegionStoreManager::RetrieveStruct(const GRState* St,const TypedRegion* R){
- QualType T = R->getObjectType(getContext());
+ QualType T = R->getValueType(getContext());
assert(T->isStructureType());
const RecordType* RT = cast<RecordType>(T.getTypePtr());
@@ -893,7 +893,7 @@
}
SVal RegionStoreManager::RetrieveArray(const GRState* St, const TypedRegion* R){
- QualType T = R->getObjectType(getContext());
+ QualType T = R->getValueType(getContext());
ConstantArrayType* CAT = cast<ConstantArrayType>(T.getTypePtr());
llvm::ImmutableList<SVal> ArrayVal = getBasicVals().getEmptySValList();
@@ -903,7 +903,7 @@
for (; i < Size; ++i) {
SVal Idx = NonLoc::MakeVal(getBasicVals(), i);
- ElementRegion* ER = MRMgr.getElementRegion(R->getObjectType(getContext()),
+ ElementRegion* ER = MRMgr.getElementRegion(R->getValueType(getContext()),
Idx, R);
QualType ETy = ER->getElementType();
SVal ElementVal = Retrieve(St, loc::MemRegionVal(ER), ETy);
@@ -920,7 +920,7 @@
// Check if the region is a struct region.
if (const TypedRegion* TR = dyn_cast<TypedRegion>(R))
- if (TR->getObjectType(getContext())->isStructureType())
+ if (TR->getValueType(getContext())->isStructureType())
return BindStruct(St, TR, V);
Store store = St->getStore();
@@ -1154,7 +1154,7 @@
const GRState* RegionStoreManager::BindArray(const GRState* St,
const TypedRegion* R, SVal Init) {
- QualType T = R->getObjectType(getContext());
+ QualType T = R->getValueType(getContext());
assert(T->isArrayType());
// When we are binding the whole array, it always has default value 0.
@@ -1219,7 +1219,7 @@
const GRState*
RegionStoreManager::BindStruct(const GRState* St, const TypedRegion* R, SVal V){
- QualType T = R->getObjectType(getContext());
+ QualType T = R->getValueType(getContext());
assert(T->isStructureType());
const RecordType* RT = T->getAsRecordType();
Modified: cfe/branches/Apple/Dib/lib/Analysis/SVals.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/SVals.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/SVals.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/SVals.cpp Sat May 9 01:24:38 2009
@@ -301,7 +301,7 @@
SymbolRef sym = SymMgr.getRegionRValueSymbol(R);
if (const TypedRegion* TR = dyn_cast<TypedRegion>(R)) {
- QualType T = TR->getObjectType(SymMgr.getContext());
+ QualType T = TR->getValueType(SymMgr.getContext());
// If T is of function pointer type, create a CodeTextRegion wrapping a
// symbol.
Modified: cfe/branches/Apple/Dib/lib/Analysis/SymbolManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/Apple/Dib/lib/Analysis/SymbolManager.cpp?rev=71345&r1=71344&r2=71345&view=diff
==============================================================================
--- cfe/branches/Apple/Dib/lib/Analysis/SymbolManager.cpp (original)
+++ cfe/branches/Apple/Dib/lib/Analysis/SymbolManager.cpp Sat May 9 01:24:38 2009
@@ -167,7 +167,7 @@
QualType SymbolRegionRValue::getType(ASTContext& C) const {
if (const TypedRegion* TR = dyn_cast<TypedRegion>(R))
- return TR->getObjectType(C);
+ return TR->getValueType(C);
return QualType();
}
More information about the llvm-branch-commits
mailing list