[LLVMdev] Verifier & abort()

[Reid Spencer]

Well, I just discovered that there is logic in the Verifier with the
AbortBroken flag that would prevent the abort. Unfortunately, there's no
way to set it (anonymous namespace, hidden object instance) if you're
calling verifyModule.

Let me look at the code some more and think on this a bit. There has to
be a solution that will make everyone happy :)

Reid.

On Thu, 2004-04-01 at 18:30, Reid Spencer wrote:
> 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/e442c3c3/attachment.sig>