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 Line(s) | 330 | switch (CastE->getCastKind()) { | |||
|---|---|---|---|---|---|
| 410 | case CK_IntegralComplexToFloatingComplex: | 410 | case CK_IntegralComplexToFloatingComplex: | ||
| 411 | case CK_CPointerToObjCPointerCast: | 411 | case CK_CPointerToObjCPointerCast: | ||
| 412 | case CK_BlockPointerToObjCPointerCast: | 412 | case CK_BlockPointerToObjCPointerCast: | ||
| 413 | case CK_AnyPointerToBlockPointerCast: | 413 | case CK_AnyPointerToBlockPointerCast: | ||
| 414 | case CK_ObjCObjectLValueCast: | 414 | case CK_ObjCObjectLValueCast: | ||
| 415 | case CK_ZeroToOCLEvent: | 415 | case CK_ZeroToOCLEvent: | ||
| 416 | case CK_ZeroToOCLQueue: | 416 | case CK_ZeroToOCLQueue: | ||
| 417 | case CK_IntToOCLSampler: | 417 | case CK_IntToOCLSampler: | ||
| 418 | case CK_LValueBitCast: { | 418 | case CK_LValueBitCast: | ||
| 419 | case CK_FixedPointCast: { | ||||
| 419 | state = | 420 | state = | ||
| 420 | handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); | 421 | handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); | ||
| 421 | continue; | 422 | continue; | ||
| 422 | } | 423 | } | ||
| 423 | case CK_IntegralCast: { | 424 | case CK_IntegralCast: { | ||
| 424 | // Delegate to SValBuilder to process. | 425 | // Delegate to SValBuilder to process. | ||
| 425 | SVal V = state->getSVal(Ex, LCtx); | 426 | SVal V = state->getSVal(Ex, LCtx); | ||
| 426 | V = svalBuilder.evalIntegralCast(state, V, T, ExTy); | 427 | V = svalBuilder.evalIntegralCast(state, V, T, ExTy); | ||
| ▲ Show 20 Lines • Show All 699 Lines • Show Last 20 Lines | |||||