Re: [tree-ssa] Implement non-call exceptions

[Andrew Haley <aph at redhat dot com>]

Richard Henderson writes:
 > On Wed, Dec 03, 2003 at 06:13:23PM +0000, Andrew Haley wrote:
 > > Also, we assume that libcalls can't throw.
 > 
 > Except extra-special cases, they can't.  In what context
 > did this come up? 

All of the division routines in libgcc can throw.  IIRC you approved
my patch to build them with unwind information.

 > And why would it differ from mainline?

Beats me.  But there really wasn't any landing pad for those calls
because they were marked as not throwing.  That they be marked as not
throwing is unquestionably wrong, given that they do in fact throw!
Maybe I'll have a look at the mainline code to find out why it behaves
differently.

 > > 	* tree-eh.c (tree_could_trap_p): Add division instructions.
 > 
 > We should probably add floating point operations as well...

I guess it depends on the language.  What language throws exceptions
on floating-point execptions?  Ada?  Perhaps it should be a langhook.

Andrew.