From dc1ad2ce2acbf9d99061a40980c83715ad39f0f0 Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Fri, 26 Nov 2010 07:15:40 +0000 Subject: [PATCH] Add a fixme. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@120172 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Checker/SValuator.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/Checker/SValuator.cpp b/lib/Checker/SValuator.cpp index a3bdcd7762..73bd86771f 100644 --- a/lib/Checker/SValuator.cpp +++ b/lib/Checker/SValuator.cpp @@ -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; -- 2.40.0