Lines Matching refs:MallocMemAux

309   static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
313 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
806 return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState); in performKernelMalloc()
842 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
851 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
861 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
865 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
888 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
898 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
903 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
914 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State, in checkPostStmt()
923 State = MallocMemAux(C, CE, CE->getArg(0), zeroVal, State); in checkPostStmt()
928 State = MallocMemAux(C, CE, CE->getArg(1), UndefinedVal(), State); in checkPostStmt()
940 State = MallocMemAux(C, CE, TotalSize, Init, State); in checkPostStmt()
1227 return MallocMemAux(C, CE, CE->getArg(I->getASTIndex()), UndefinedVal(), in MallocMemReturnsAttr()
1230 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State); in MallocMemReturnsAttr()
1233 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux() function in MallocChecker
1241 return MallocMemAux(C, CE, C.getSVal(SizeEx), Init, State, Family); in MallocMemAux()
1244 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux() function in MallocChecker
2170 ProgramStateRef stateMalloc = MallocMemAux(C, CE, TotalSize, in ReallocMemAux()
2203 ProgramStateRef stateRealloc = MallocMemAux(C, CE, TotalSize, in ReallocMemAux()
2237 return MallocMemAux(C, CE, TotalSize, zeroVal, State); in CallocMem()