Lines Matching refs:UnknownVal
97 return UnknownVal();
102 return UnknownVal();
113 return UnknownVal();
138 return UnknownVal();
151 // All other cases: return 'UnknownVal'. This includes casting pointers
154 return UnknownVal();
166 return UnknownVal();
175 return UnknownVal();
546 return UnknownVal();
593 return UnknownVal();
602 return UnknownVal();
615 return UnknownVal();
640 return UnknownVal();
671 return UnknownVal();
683 return UnknownVal();
699 return UnknownVal();
716 return UnknownVal();
730 return UnknownVal();
743 return UnknownVal();
747 return UnknownVal();
753 return UnknownVal();
757 return UnknownVal();
775 return UnknownVal();
792 return UnknownVal();
800 return UnknownVal();
805 return UnknownVal();
811 return UnknownVal();
820 return UnknownVal();
846 return UnknownVal();
877 return UnknownVal();
915 SVal index = UnknownVal();
938 return UnknownVal();
