[LLVMdev] loads from a null address and optimizations

Eli Friedman
Sun, 06 Sep 2009 22:32:28 -0000

On Sun, Sep 6, 2009 at 3:19 PM, Kenneth Uildriks<kennethuil at gmail.com>
wrote:
> It would be unfortunate in a way if "this instruction can trap and go
> there" is taken to mean "if this instruction has no effect other
than
> a possible trap, the instruction and the trapping behavior *must* be
> preserved".

What exactly would the semantics be if the instruction *might* trap?
I somehow can't imagine it being useful.

-Eli