[cfe-commits] r132840 - in /cfe/trunk: lib/Analysis/AnalysisContext.cpp lib/Analysis/CFG.cpp lib/Analysis/LiveVariables.cpp lib/StaticAnalyzer/Core/Environment.cpp test/Analysis/misc-ps.c

[Ted Kremenek]

On Jun 10, 2011, at 1:49 AM, Jordy Rose wrote:

> Modified: cfe/trunk/lib/StaticAnalyzer/Core/Environment.cpp
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/Environment.cpp?rev=132840&r1=132839&r2=132840&view=diff
> ==============================================================================
> --- cfe/trunk/lib/StaticAnalyzer/Core/Environment.cpp (original)
> +++ cfe/trunk/lib/StaticAnalyzer/Core/Environment.cpp Fri Jun 10 03:49:37 2011
> @@ -77,21 +77,6 @@
>       // For special C0xx nullptr case, make a null pointer SVal.
>       case Stmt::CXXNullPtrLiteralExprClass:
>         return svalBuilder.makeNull();
> -      case Stmt::ImplicitCastExprClass:
> -      case Stmt::CXXFunctionalCastExprClass:
> -      case Stmt::CStyleCastExprClass: {
> -        // We blast through no-op casts to get the descendant
> -        // subexpression that has a value.
> -        const CastExpr* C = cast<CastExpr>(E);
> -        QualType CT = C->getType();
> -        if (CT->isVoidType())
> -          return UnknownVal();
> -        if (C->getCastKind() == CK_NoOp) {
> -          E = C->getSubExpr();
> -          continue;
> -        }
> -        break;
> -      }


Hi Jordy,

Can't these still appear in the environment?

Ted
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110611/7fad3178/attachment.html>