[LLVMdev] LLVM asserts

[David Greene]

On Wednesday 19 August 2009 18:17, Chris Lattner wrote:

> > But asserts and aborts don't go through that, right?  What's needed is
> > a way to get those assert and abort messages out to other compiler
> > components so they have a chance to report them nicely to the user.
>
> assert and abort should never happen, just like a null pointer or
> garbage pointer dereference should never happen.  How are garbage
> pointer and asserts different?

And programs should never have bugs either.

The reality is, they do.  And when we screw up, we owe it to our users
to give them as much information as possible and gracefully exit.  We
can't do that right now with the current LLVM assert/abort scheme.

                                 -Dave