|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 366 SVal V = state->getSVal(Ex, LCtx);
371 state = state->BindExpr(CastE, LCtx, V);
371 state = state->BindExpr(CastE, LCtx, V);
372 Bldr.generateNode(CastE, Pred, state);
376 state =
377 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
388 SVal V = state->getSVal(Ex, LCtx);
390 state = state->BindExpr(CastE, LCtx, UnknownVal());
390 state = state->BindExpr(CastE, LCtx, UnknownVal());
391 Bldr.generateNode(CastE, Pred, state);
395 state =
396 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
425 state =
426 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
431 SVal V = state->getSVal(Ex, LCtx);
432 V = svalBuilder.evalIntegralCast(state, V, T, ExTy);
433 state = state->BindExpr(CastE, LCtx, V);
433 state = state->BindExpr(CastE, LCtx, V);
434 Bldr.generateNode(CastE, Pred, state);
440 SVal val = state->getSVal(Ex, LCtx);
442 state = state->BindExpr(CastE, LCtx, val);
442 state = state->BindExpr(CastE, LCtx, val);
443 Bldr.generateNode(CastE, Pred, state);
448 SVal val = state->getSVal(Ex, LCtx);
468 Bldr.generateSink(CastE, Pred, state);
472 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
472 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
480 state = state->BindExpr(CastE, LCtx, NewSym);
480 state = state->BindExpr(CastE, LCtx, NewSym);
483 state = state->BindExpr(CastE, LCtx, val);
483 state = state->BindExpr(CastE, LCtx, val);
485 Bldr.generateNode(CastE, Pred, state);
489 SVal val = state->getSVal(Ex, LCtx);
506 state = state->BindExpr(CastE, LCtx, val);
506 state = state->BindExpr(CastE, LCtx, val);
507 Bldr.generateNode(CastE, Pred, state);
512 state = state->BindExpr(CastE, LCtx, V);
512 state = state->BindExpr(CastE, LCtx, V);
513 Bldr.generateNode(CastE, Pred, state);
518 state = state->BindExpr(CastE, LCtx, V);
518 state = state->BindExpr(CastE, LCtx, V);
519 Bldr.generateNode(CastE, Pred, state);
525 SVal V = state->getSVal(Ex, LCtx);
531 state = state->BindExpr(CastE, LCtx, CastedPTMSV);
531 state = state->BindExpr(CastE, LCtx, CastedPTMSV);
532 Bldr.generateNode(CastE, Pred, state);
536 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);
536 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);
542 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);
542 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);