Lines Matching defs:IsKnownToBeAllocated
657 /// \param [out] IsKnownToBeAllocated Whether the memory to be freed is known
670 unsigned Num, bool Hold, bool &IsKnownToBeAllocated,
681 /// \param [out] IsKnownToBeAllocated Whether the memory to be freed is known
696 ProgramStateRef State, bool Hold, bool &IsKnownToBeAllocated,
1475 // FreeMemAux takes IsKnownToBeAllocated as an output parameter, and it will
1479 bool IsKnownToBeAllocated = false;
1481 IsKnownToBeAllocated, AllocationFamily(AF_Malloc), false,
1979 bool IsKnownToBeAllocated = false;
1985 IsKnownToBeAllocated, Family);
1995 bool Hold, bool &IsKnownToBeAllocated,
2005 IsKnownToBeAllocated, Family, ReturnsNullOnFailure);
2143 bool Hold, bool &IsKnownToBeAllocated,
2234 IsKnownToBeAllocated =
2886 bool IsKnownToBeAllocated = false;
2895 C, Call, StateSizeIsZero, 0, false, IsKnownToBeAllocated, Family))
2900 FreeMemAux(C, Call, State, 0, false, IsKnownToBeAllocated, Family)) {
2910 else if (!IsKnownToBeAllocated)
3136 bool IsKnownToBeAllocated;
3139 /*Hold*/ false, IsKnownToBeAllocated,