parent
bb5a62d46e
commit
f45778f425
|
|
@ -47,8 +47,8 @@ StoreManager::NewCastRegion(const GRState *state, const MemRegion* R,
|
||||||
// CodeTextRegion should be cast to only function pointer type.
|
// CodeTextRegion should be cast to only function pointer type.
|
||||||
if (isa<CodeTextRegion>(R)) {
|
if (isa<CodeTextRegion>(R)) {
|
||||||
assert(CastToTy->isFunctionPointerType() || CastToTy->isBlockPointerType()
|
assert(CastToTy->isFunctionPointerType() || CastToTy->isBlockPointerType()
|
||||||
|| (CastToTy->isPointerType()
|
|| (CastToTy->isPointerType() &&
|
||||||
&& CastToTy->getAsPointerType()->getPointeeType()->isVoidType()));
|
CastToTy->getAsPointerType()->getPointeeType()->isVoidType()));
|
||||||
return CastResult(state, R);
|
return CastResult(state, R);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue