We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
https://alive2.llvm.org/ce/z/cyCxQ6
@vtable = constant ptr @fn declare void @fn() memory(none) define void @src() { %fn = load ptr, ptr @vtable call void %fn() ret void }
Results in:
ERROR: Source is more defined than target Example: Source: >> Jump to %#0 ptr %fn = pointer(non-local, block_id=2, offset=0) void = function did not return! SOURCE MEMORY STATE =================== NON-LOCAL BLOCKS: Block 0 > size: 0 align: 8 alloc type: 0 alive: false address: 0 Block 1 > size: 8 align: 8 alloc type: 0 alive: true address: 128 const Block 2 > size: 8 align: 8 alloc type: 0 alive: true address: 8 const Block 3 > size: 4 align: 4 alloc type: 0 alive: true address: 4 Block 4 > size: 1 align: 8 alloc type: 0 alive: true address: 128 Target: >> Jump to %#0 Function @fn triggered UB
Seen in https://web.ist.utl.pt/nuno.lopes/alive2/index.php?hash=a4dd1863f139db90&test=Transforms%2FSimpleLoopUnswitch%2Fmemssa-readnone-access.ll.
The text was updated successfully, but these errors were encountered:
af1b11f
No branches or pull requests
https://alive2.llvm.org/ce/z/cyCxQ6
Results in:
Seen in https://web.ist.utl.pt/nuno.lopes/alive2/index.php?hash=a4dd1863f139db90&test=Transforms%2FSimpleLoopUnswitch%2Fmemssa-readnone-access.ll.
The text was updated successfully, but these errors were encountered: