Changeset View
Changeset View
Standalone View
Standalone View
cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineC.cpp
Show First 20 Lines • Show All 409 Lines • ▼ Show 20 Lines | switch (CastE->getCastKind()) { | ||||
case CK_IntegralComplexToFloatingComplex: | case CK_IntegralComplexToFloatingComplex: | ||||
case CK_CPointerToObjCPointerCast: | case CK_CPointerToObjCPointerCast: | ||||
case CK_BlockPointerToObjCPointerCast: | case CK_BlockPointerToObjCPointerCast: | ||||
case CK_AnyPointerToBlockPointerCast: | case CK_AnyPointerToBlockPointerCast: | ||||
case CK_ObjCObjectLValueCast: | case CK_ObjCObjectLValueCast: | ||||
case CK_ZeroToOCLEvent: | case CK_ZeroToOCLEvent: | ||||
case CK_ZeroToOCLQueue: | case CK_ZeroToOCLQueue: | ||||
case CK_IntToOCLSampler: | case CK_IntToOCLSampler: | ||||
case CK_LValueBitCast: { | case CK_LValueBitCast: | ||||
case CK_FixedPointCast: { | |||||
state = | state = | ||||
handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); | handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); | ||||
continue; | continue; | ||||
} | } | ||||
case CK_IntegralCast: { | case CK_IntegralCast: { | ||||
// Delegate to SValBuilder to process. | // Delegate to SValBuilder to process. | ||||
SVal V = state->getSVal(Ex, LCtx); | SVal V = state->getSVal(Ex, LCtx); | ||||
V = svalBuilder.evalIntegralCast(state, V, T, ExTy); | V = svalBuilder.evalIntegralCast(state, V, T, ExTy); | ||||
▲ Show 20 Lines • Show All 699 Lines • Show Last 20 Lines |