[LLVMdev] Verifier & abort()

[Reid Spencer]

On Thu, 2004-04-01 at 18:04, Misha Brukman wrote:

> Perhaps another solution would be to throw an exception with the error
> message?

Perhaps, but that would violate the programming contract already in
place. Right now LLVM and its users expect failed verifications to cause
an abort(). I wouldn't want to unleash on LLVM the new semantics of now
handling exceptions in every place the verifier is called especially
since the exception is basically saying "corrupt Module, use at your own
risk".  Additionally, exceptions can only throw single strings from
single places but the verifier can actually generate multiple lines of
output (from multiple checks) before deciding to abort.

Reid

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20040401/3108ff25/attachment.sig>