Member predicate TranslatedDeleteOrDeleteArrayExpr::mayThrowException
Holds if the evaluation of this call may throw an exception.
predicate mayThrowException()Holds if the evaluation of this call may throw an exception.
predicate mayThrowException()