/// \param E the expression that caused the invalidation.
/// \param BlockCount The number of times the current basic block has been
// visited.
- /// \param CausedByPointerEscape the flag is set to true when
- /// the invalidation is due to escape of a symbol (representing a
+ /// \param CausesPointerEscape the flag is set to true when
+ /// the invalidation entails escape of a symbol (representing a
/// pointer). For example, due to it being passed as an argument in a
/// call.
/// \param IS the set of invalidated symbols.
ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
const Expr *E, unsigned BlockCount,
const LocationContext *LCtx,
- bool CausedByPointerEscape,
+ bool CausesPointerEscape,
InvalidatedSymbols *IS = 0,
const CallEvent *Call = 0) const;
// Invalidate this region.
const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
return state->invalidateRegions(R, E, C.blockCount(), LCtx,
- /*CausedByPointerEscape*/ false);
+ /*CausesPointerEscape*/ false);
}
// If we have a non-region value by chance, just remove the binding.
// Invalidate the argument region.
state = state->invalidateRegions(ArgRegion, CE, C.blockCount(), LCtx,
- /*CausedByPointerEscape*/ false);
+ /*CausesPointerEscape*/ false);
// Restore the refcount status of the argument.
if (Binding)