Lines Matching refs:UnknownVal

914     return UnknownVal();  in getCStringLength()
953     return UnknownVal();  in getCStringLength()
957     return UnknownVal();  in getCStringLength()
1579   DefinedOrUnknownSVal result = UnknownVal();  in evalstrLengthCommon()
1764   SVal amountCopied = UnknownVal();  in evalStrcpyCommon()
1765   SVal maxLastElementIndex = UnknownVal();  in evalStrcpyCommon()
1856           amountCopied = UnknownVal();  in evalStrcpyCommon()
1938   SVal finalStrLength = UnknownVal();  in evalStrcpyCommon()
1939   SVal strlRetVal = UnknownVal();  in evalStrcpyCommon()
2021     Result = (ReturnEnd ? UnknownVal() : DstVal);  in evalStrcpyCommon()
2098         finalStrLength = UnknownVal();  in evalStrcpyCommon()