reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1286 SVal sizeVal = state->getSVal(Size, LCtx); 1297 state = state->BindExpr(CE, LCtx, 1309 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>(); 1311 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>(); 1324 state = StSameBuf->BindExpr(CE, LCtx, 1337 SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, 1339 state = state->BindExpr(CE, LCtx, CmpV);