PurityAnalysis should treat methods that create implicit exceptions as impure

Issue #114 resolved
errt created an issue

Methods that create implicit exceptions (i.e. DivisionByZero) are not pure, as the Throwable constructor calls native method fillInStackTrace and that method is obviously not pure.

Comments (2)

  1. Log in to comment