reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1361 ProgramStateRef state = C.getState(); 1362 const LocationContext *LCtx = C.getLocationContext(); 1370 assumeZero(C, state, maxlenVal, maxlenExpr->getType()); 1375 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); 1377 C.addTransition(stateZeroSize); 1392 state = checkNonNull(C, state, Arg, ArgVal, 1); 1397 SVal strLength = getCStringLength(C, state, Arg, ArgVal); 1409 QualType cmpTy = C.getSValBuilder().getConditionType(); 1424 C.getSValBuilder() 1442 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1443 C.blockCount()); 1447 state = state->assume(C.getSValBuilder().evalBinOpNN( 1453 state = state->assume(C.getSValBuilder().evalBinOpNN( 1466 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, 1467 C.blockCount()); 1474 C.addTransition(state);