reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1365 const Expr *maxlenExpr = CE->getArg(1); 1375 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); 1376 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); 1389 const Expr *Arg = CE->getArg(0); 1413 const Expr *maxlenExpr = CE->getArg(1); 1442 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1466 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1473 state = state->BindExpr(CE, LCtx, result);