Lines Matching refs:makeRetVal
186 DefinedSVal makeRetVal(CheckerContext &C, const CallExpr *CE) { in makeRetVal() function
197 DefinedSVal RetVal = makeRetVal(C, CE); in bindAndAssumeTrue()
581 DefinedSVal RetVal = makeRetVal(C, CE); in evalFopen()
777 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFreadFwrite()
829 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFgetx()
924 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFputx()
970 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFprintf()
1024 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFscanf()
1121 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalGetdelim()
1189 DefinedSVal RetVal = makeRetVal(C, CE); in evalFseek()
1234 DefinedSVal RetVal = makeRetVal(C, CE); in evalFgetpos()
1265 DefinedSVal RetVal = makeRetVal(C, CE); in evalFsetpos()
1300 NonLoc RetVal = makeRetVal(C, CE).castAs<NonLoc>(); in evalFtell()