Lines Matching refs:UnknownVal
1059 return UnknownVal(); in getCStringLength()
1098 return UnknownVal(); in getCStringLength()
1102 return UnknownVal(); in getCStringLength()
1727 DefinedOrUnknownSVal result = UnknownVal(); in evalstrLengthCommon()
1912 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1913 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
2004 amountCopied = UnknownVal(); in evalStrcpyCommon()
2086 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
2087 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon()
2169 Result = (ReturnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
2246 finalStrLength = UnknownVal(); in evalStrcpyCommon()