Lines Matching refs:UnknownVal

800     return UnknownVal();  in getCStringLength()
825     return UnknownVal();  in getCStringLength()
829     return UnknownVal();  in getCStringLength()
1404   DefinedOrUnknownSVal result = UnknownVal();  in evalstrLengthCommon()
1582   SVal amountCopied = UnknownVal();  in evalStrcpyCommon()
1583   SVal maxLastElementIndex = UnknownVal();  in evalStrcpyCommon()
1673           amountCopied = UnknownVal();  in evalStrcpyCommon()
1752   SVal finalStrLength = UnknownVal();  in evalStrcpyCommon()
1753   SVal strlRetVal = UnknownVal();  in evalStrcpyCommon()
1833     Result = (ReturnEnd ? UnknownVal() : DstVal);  in evalStrcpyCommon()
1900         finalStrLength = UnknownVal();  in evalStrcpyCommon()