reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1430 result = *maxlenValNL; 1433 result = *strLengthNL; 1437 if (result.isUnknown()) { 1442 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1444 NonLoc resultNL = result.castAs<NonLoc>(); 1461 result = strLength.castAs<DefinedOrUnknownSVal>(); 1465 if (result.isUnknown()) { 1466 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1472 assert(!result.isUnknown() && "Should have conjured a value by now"); 1473 state = state->BindExpr(CE, LCtx, result);