Differential D25475 Diff 81655 cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

# Changeset View

Changeset View

# Standalone View

Standalone View

# cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

Show First 20 Lines • Show All 473 Lines • ▼ Show 20 Line(s) | 326 | public: | |||
---|---|---|---|---|---|

474 | SVal evalMinus(SVal X) { | 474 | SVal evalMinus(SVal X) { | ||

475 | return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; | 475 | return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; | ||

476 | } | 476 | } | ||

477 | 477 | | |||

478 | SVal evalComplement(SVal X) { | 478 | SVal evalComplement(SVal X) { | ||

479 | return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; | 479 | return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; | ||

480 | } | 480 | } | ||

481 | 481 | | |||

482 | ProgramStateRef handleLValueBitCast(ProgramStateRef state, const Expr *Ex, | ||||

483 | const LocationContext *LCtx, QualType T, | ||||

484 | QualType ExTy, const CastExpr *CastE, | ||||

485 | StmtNodeBuilder &Bldr, | ||||

486 | ExplodedNode *Pred); | ||||

487 | | ||||

488 | ProgramStateRef handleLVectorSplat(ProgramStateRef state, | ||||

489 | const LocationContext *LCtx, | ||||

490 | const CastExpr *CastE, | ||||

491 | StmtNodeBuilder &Bldr, | ||||

492 | ExplodedNode *Pred); | ||||

493 | | ||||

494 | void handleUOExtension(ExplodedNodeSet::iterator I, | ||||

495 | const UnaryOperator* U, | ||||

496 | StmtNodeBuilder &Bldr); | ||||

497 | | ||||

482 | public: | 498 | public: | ||

483 | 499 | | |||

484 | SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, | 500 | SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, | ||

485 | NonLoc L, NonLoc R, QualType T) { | 501 | NonLoc L, NonLoc R, QualType T) { | ||

486 | return svalBuilder.evalBinOpNN(state, op, L, R, T); | 502 | return svalBuilder.evalBinOpNN(state, op, L, R, T); | ||

487 | } | 503 | } | ||

488 | 504 | | |||

489 | SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, | 505 | SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, | ||

▲ Show 20 Lines • Show All 165 Lines • Show Last 20 Lines |