Lines Matching defs:FreeMemAux

599   FreeMemAux(CheckerContext &C, const CallEvent &Call, ProgramStateRef State,
625   FreeMemAux(CheckerContext &C, const Expr *ArgExpr, const CallEvent &Call,
1216   State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1256   State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1288     State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1292     State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1362   // FreeMemAux takes IsKnownToBeAllocated as an output parameter, and it will
1364   // We do not need this value here, as FreeMemAux will take care
1367   State = FreeMemAux(C, Call.getArgExpr(0), Call, State, false,
1659       FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(),
1840         FreeMemAux(C, Call, State, Arg.getASTIndex(),
1849 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C,
1861   return FreeMemAux(C, Call.getArgExpr(Num), Call, State, Hold,
1945 MallocChecker::FreeMemAux(CheckerContext &C, const Expr *ArgExpr,
2684     if (ProgramStateRef stateFree = FreeMemAux(
2690           FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocated, Family)) {
2708            "By this point, FreeMemAux and MallocMemAux should have checked "
2918     State = FreeMemAux(C, DE->getArgument(), Call, State,