------- Comment #19 from giovannibajo at libero dot it  2005-10-11 22:57 -------
(In reply to comment #16)

> > Probably. But what if the problem with dereferencing p was that it is NULL,
> > instead of a misalignment? Would that case be caught in reorg by something
> > else?

> Well, then the code would have undefined behavior, and the bus error
> would be OK.

Uh? I'm speaking of a NULL dereference on the branch of COND_EXPR which will
not get executed. The point of this PR (as far as I understand it) is that an
instruction of a branch which should not be evaluated (and thus potentially
dangerous) is hoisted into the delay slot of the condition.

Fixing the frontend so to not emit the unaligned load (which should not get
executed anyway) is just papering over the bug in reorg which causes it to be
(partially) executed.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23585

Reply via email to