Member predicate CommClause::mayHaveSideEffects
Holds if the execution of this statement may produce observable side effects.
Memory allocation is not considered an observable side effect.
predicate mayHaveSideEffects()
Holds if the execution of this statement may produce observable side effects.
Memory allocation is not considered an observable side effect.
predicate mayHaveSideEffects()