jyapayne/llvmpy
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make note about preverifier bug in LLVM that *.verify() will abort upon error

Browse source
This commit is contained in:
Siu Kwan Lam 2013-01-10 17:13:06 -06:00
commit 207254fe50
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
llvm/core.py
View file

@ -522,6 +522,8 @@ class Module(llvm.Ownable, llvm.Cacheable):
Checks module for errors. Raises `llvm.LLVMException' on any Checks module for errors. Raises `llvm.LLVMException' on any
error.""" error."""
ret = _core.LLVMVerifyModule(self.ptr) ret = _core.LLVMVerifyModule(self.ptr)
# Note: LLVM has a bug in preverifier that will always abort
# the process upon failure.
if ret != "": if ret != "":
raise llvm.LLVMException(ret) raise llvm.LLVMException(ret)
@ -1508,6 +1510,9 @@ class Function(GlobalValue):
def verify(self): def verify(self):
# Although we're just asking LLVM to return the success or # Although we're just asking LLVM to return the success or
# failure, it appears to print result to stderr and abort. # failure, it appears to print result to stderr and abort.
# Note: LLVM has a bug in preverifier that will always abort
# the process upon failure.
return _core.LLVMVerifyFunction(self.ptr) != 0 return _core.LLVMVerifyFunction(self.ptr) != 0
#===----------------------------------------------------------------------=== #===----------------------------------------------------------------------===