> non-call-exceptions is a relatively big hammer. It marks _all_ > non-trivial instructions as throwing.
The "all" goes against the "relatively" here, and "relatively" is more correct. Not all non-trivial instructions are marked as throwing, e.g. loads and stores from/to the stack aren't. -- Eric Botcazou