Lines Matching refs:Result
891 SVal result =
893 state = state->BindExpr(CE, result);
965 // If the size can be zero, the result will be 0 in that case, and we don't
976 // If we know the two buffers are the same, we know the result is 0.
987 // If the two arguments might be the same buffer, we know the result is 0,
1004 // The return value is the comparison result, which we don't know.
1039 // If the size can be zero, the result will be 0 in that case, and we don't
1071 DefinedOrUnknownSVal result = UnknownVal();
1099 result = *maxlenValNL;
1102 result = *strLengthNL;
1106 if (result.isUnknown()) {
1112 result = C.getSValBuilder().getConjuredSymbolVal(NULL, CE, Count);
1113 NonLoc *resultNL = cast<NonLoc>(&result);
1134 result = cast<DefinedOrUnknownSVal>(strLength);
1138 if (result.isUnknown()) {
1140 result = C.getSValBuilder().getConjuredSymbolVal(NULL, CE, Count);
1145 assert(!result.isUnknown() && "Should have conjured a value by now");
1146 state = state->BindExpr(CE, result);
1248 // terminate the result!
1415 // The final result of the function will either be a pointer past the last
1417 SVal Result = (returnEnd ? UnknownVal() : DstVal);
1455 Result = lastElement;
1469 // the result string. If the original string didn't fit entirely inside
1471 // result is.
1481 // overflow, we still need a result. Conjure a return value.
1482 if (returnEnd && Result.isUnknown()) {
1484 Result = svalBuilder.getConjuredSymbolVal(NULL, CE, Count);
1488 state = state->BindExpr(CE, Result);
1543 // If we know the two buffers are the same, we know the result is 0.
1555 // If the two arguments might be the same buffer, we know the result is 0,
1608 // Use StringRef's comparison methods to compute the actual result.
1609 int result;
1613 result = s1StrRef.compare_lower(s2StrRef);
1616 result = s1StrRef.compare(s2StrRef);
1620 SVal resultVal = svalBuilder.makeIntVal(result, CE->getType());
