Home | History | Annotate | Download | only in Checkers

Lines Matching refs:UnknownVal

734     return UnknownVal();
738 // its length. For anything we can't figure out, just return UnknownVal.
758 return UnknownVal();
762 return UnknownVal();
1197 DefinedOrUnknownSVal result = UnknownVal();
1361 SVal amountCopied = UnknownVal();
1362 SVal maxLastElementIndex = UnknownVal();
1501 SVal finalStrLength = UnknownVal();
1570 SVal Result = (returnEnd ? UnknownVal() : DstVal);
1633 finalStrLength = UnknownVal();