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 | |||||