diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-01-14 03:45:06 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-01-14 03:45:06 +0000 |
| commit | 803ade253292d1792b8fa389495fbe3d5bac8fb4 (patch) | |
| tree | 24ecfd42a61d681771df2a26607a33b45395df4d /clang/lib/Analysis | |
| parent | 200c99dd1e57ef50b163456aac9d40168908325b (diff) | |
| download | bcm5719-llvm-803ade253292d1792b8fa389495fbe3d5bac8fb4.tar.gz bcm5719-llvm-803ade253292d1792b8fa389495fbe3d5bac8fb4.zip | |
Fix pr6035.
llvm-svn: 93422
Diffstat (limited to 'clang/lib/Analysis')
| -rw-r--r-- | clang/lib/Analysis/SValuator.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/lib/Analysis/SValuator.cpp b/clang/lib/Analysis/SValuator.cpp index 0e56026bb4c..8392fcf65a2 100644 --- a/clang/lib/Analysis/SValuator.cpp +++ b/clang/lib/Analysis/SValuator.cpp @@ -66,6 +66,9 @@ SValuator::CastResult SValuator::EvalCast(SVal val, const GRState *state, if (C.hasSameUnqualifiedType(castTy, originalTy)) return CastResult(state, val); + if (castTy->isIntegerType() && originalTy->isIntegerType()) + return CastResult(state, EvalCastNL(cast<NonLoc>(val), castTy)); + // Check for casts from pointers to integers. if (castTy->isIntegerType() && Loc::IsLocType(originalTy)) return CastResult(state, EvalCastL(cast<Loc>(val), castTy)); |
