Displaying 3 results from an estimated 3 matches for "visitglobalvalue".
2004 Apr 02
1
[LLVMdev] Verifier & abort()
P.S. Here's an example of verifier code that can emit multiple messages:
bool doFinalization(Module &M) {
// Scan through, checking all of the external function's linkage now...
for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
visitGlobalValue(*I);
for (Module::giterator I = M.gbegin(), E = M.gend(); I != E; ++I)
visitGlobalValue(*I);...
2004 Apr 01
0
[LLVMdev] Verifier & abort()
On Thu, 1 Apr 2004, 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
2004 Apr 01
4
[LLVMdev] Verifier & abort()
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