|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 2430 assert(Ex->isGLValue() || VD->getType()->isVoidType());
2434 const auto *DeclRefEx = dyn_cast<DeclRefExpr>(Ex);
2471 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2471 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2476 assert(!Ex->isGLValue());
2478 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
2478 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
2483 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2483 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2493 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
2496 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2496 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,