Assertion in jump-threading when indirect branch has no successor

Quuxplusone commented 12 years ago


Bugzilla Link	PR13405
Status	RESOLVED FIXED
Importance	P normal
Reported by	Richard Osborne (richard@xmos.com)
Reported on	2012-07-19 12:24:46 -0700
Last modified on	2012-07-20 05:46:22 -0700
Version	trunk
Hardware	PC Linux
CC	baldrick@free.fr, llvm-bugs@lists.llvm.org
Fixed by commit(s)
Attachments	`test.ll` (140 bytes, application/octet-stream)
Blocks
Blocked by
See also

Created attachment 8923
test.ll

Running opt -jump-threading test.ll with the attached file (containing an
indirect branch with no successors) results in the following assertion:

opt: /homelocal/richard/c2xc/llvm/include/llvm/Instructions.h:2948: llvm::Value
*llvm::IndirectBrInst::getOperand(unsigned int) const: Assertion `i_nocapture <
OperandTraits<IndirectBrInst>::operands(this) && "getOperand() out of range!"'
failed.

Quuxplusone commented 12 years ago

Attached test.ll (140 bytes, application/octet-stream): test.ll

Quuxplusone commented 12 years ago

Patch to fix this:

http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20120716/146773.html

Quuxplusone commented 12 years ago

Fixed in r160546:

http://llvm.org/viewvc/llvm-project?view=rev&revision=160546

Quuxplusone / LLVMBugzillaTest

Assertion in jump-threading when indirect branch has no successor #13462