parent
5e9c70ee57
commit
e23ab6fae2
|
@ -53,6 +53,7 @@ DefinedOrUnknownSVal SValuator::EvalEQ(const GRState *ST,
|
|||
ValMgr.getContext().IntTy));
|
||||
}
|
||||
|
||||
// FIXME: should rewrite according to the cast kind.
|
||||
SVal SValuator::EvalCast(SVal val, QualType castTy, QualType originalTy) {
|
||||
if (val.isUnknownOrUndef() || castTy == originalTy)
|
||||
return val;
|
||||
|
|
Loading…
Reference in New Issue