Lines Matching defs:RetVal
197 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue() local
581 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen() local
777 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite() local
829 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFgetx() local
924 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFputx() local
970 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFprintf() local
1024 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFscanf() local
1121 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalGetdelim() local
1189 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek() local
1234 DefinedSVal RetVal = makeRetVal(C, CE); in evalFgetpos() local
1265 DefinedSVal RetVal = makeRetVal(C, CE); in evalFsetpos() local
1300 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFtell() local