Lines Matching defs:MallocMemAux

534   MallocMemAux(CheckerContext &C, const CallEvent &Call, const Expr *SizeEx,
546   [[nodiscard]] ProgramStateRef MallocMemAux(CheckerContext &C,
1124     return MallocMemAux(C, Call, Call.getArgExpr(0), ZeroVal, TrueState,
1145   State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State,
1159     State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State,
1224   State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State,
1247       MallocMemAux(C, Call, UnknownVal(), UnknownVal(), State, AF_IfNameIndex);
1279         MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, AF_CXXNew);
1283     State = MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State,
1307   State = MallocMemAux(C, Call, Call.getArgExpr(0), zeroVal, State, AF_Malloc);
1316       MallocMemAux(C, Call, Call.getArgExpr(1), UnknownVal(), State, AF_Malloc);
1326   State = MallocMemAux(C, Call, TotalSize, Init, State, AF_Malloc);
1338   State = MallocMemAux(C, Call, TotalSize, Init, State, AF_Malloc);
1596   // MallocUpdateRefState() instead of MallocMemAux() which breaks the
1677     return MallocMemAux(C, Call,
1681   return MallocMemAux(C, Call, UnknownVal(), UndefinedVal(), State, AF_Malloc);
1684 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C,
1693   return MallocMemAux(C, Call, C.getSVal(SizeEx), Init, State, Family);
1752 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C,
2666     ProgramStateRef stateMalloc = MallocMemAux(
2693         MallocMemAux(C, Call, TotalSize, UnknownVal(), stateFree, Family);
2708            "By this point, FreeMemAux and MallocMemAux should have checked "
2736   return MallocMemAux(C, Call, TotalSize, zeroVal, State, AF_Malloc);