[teo_zero]

I'm sure undefined behavior counts as an exception in the meaning intended in TFA. Example:

  int inv(int x) {
    return 1/x;
  }

[jibal]

No, it certainly doesn't.