From 803ade253292d1792b8fa389495fbe3d5bac8fb4 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Thu, 14 Jan 2010 03:45:06 +0000 Subject: Fix pr6035. llvm-svn: 93422 --- clang/lib/Analysis/SValuator.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'clang/lib') 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(val), castTy)); + // Check for casts from pointers to integers. if (castTy->isIntegerType() && Loc::IsLocType(originalTy)) return CastResult(state, EvalCastL(cast(val), castTy)); -- cgit v1.2.3