Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Failing on C++ Unreachable Sequences #216

Open
bprail opened this issue Aug 22, 2019 · 0 comments
Open

Failing on C++ Unreachable Sequences #216

bprail opened this issue Aug 22, 2019 · 0 comments
Assignees
@bprail
Labels
bug

Comments

@bprail
Copy link
Owner

bprail commented Aug 22, 2019

The following "basic block" causes Contech to crash.

; <label>:37:                                     ; preds = %33
  br label %39
                                                  ; No predecessors!
  call void @llvm.trap()
  unreachable
@bprail bprail added the bug label Aug 22, 2019
@bprail bprail self-assigned this Aug 22, 2019
bprail added a commit that referenced this issue Aug 22, 2019
@bprail
LLVM Pass - Only access first element if vector is non-empty
2de91e8 
For Issue #216
bprail added a commit that referenced this issue Aug 23, 2019
@bprail
LLVM Pass - Remove assert on blocks without predecessors
b2cfe50 
This is possible in C++ code, just unreachable.  Apparently the
compiler did not consider the block dead and left it.  #216
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bprail bprail

Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bprail