Lines Matching defs:FreeMemAux

669   FreeMemAux(CheckerContext &C, const CallEvent &Call, ProgramStateRef State,
695   FreeMemAux(CheckerContext &C, const Expr *ArgExpr, const CallEvent &Call,
1331   State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1370   State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1402     State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1406     State = FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocatedMemory,
1475   // FreeMemAux takes IsKnownToBeAllocated as an output parameter, and it will
1477   // We do not need this value here, as FreeMemAux will take care
1480   State = FreeMemAux(C, Call.getArgExpr(0), Call, State, false,
1796   ProgramStateRef State = FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(),
1983         FreeMemAux(C, Call, State, Arg.getASTIndex(),
1992 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C,
2004   return FreeMemAux(C, Call.getArgExpr(Num), Call, State, Hold,
2141 MallocChecker::FreeMemAux(CheckerContext &C, const Expr *ArgExpr,
2894     if (ProgramStateRef stateFree = FreeMemAux(
2900           FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocated, Family)) {
2918            "By this point, FreeMemAux and MallocMemAux should have checked "
3137     State = FreeMemAux(