|
|
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);
377 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
388 SVal V = state->getSVal(Ex, LCtx);
390 state = state->BindExpr(CastE, LCtx, UnknownVal());
396 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
426 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);
431 SVal V = state->getSVal(Ex, LCtx);
433 state = state->BindExpr(CastE, LCtx, V);
440 SVal val = state->getSVal(Ex, LCtx);
442 state = state->BindExpr(CastE, LCtx, val);
448 SVal val = state->getSVal(Ex, LCtx);
472 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
478 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
480 state = state->BindExpr(CastE, LCtx, NewSym);
483 state = state->BindExpr(CastE, LCtx, val);
489 SVal val = state->getSVal(Ex, LCtx);
503 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
506 state = state->BindExpr(CastE, LCtx, val);
512 state = state->BindExpr(CastE, LCtx, V);
518 state = state->BindExpr(CastE, LCtx, V);
525 SVal V = state->getSVal(Ex, LCtx);
531 state = state->BindExpr(CastE, LCtx, CastedPTMSV);
536 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);
542 state = handleLVectorSplat(state, LCtx, CastE, Bldr, Pred);