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
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
