<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/126534>126534</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [StructurizeCFG] A simple test case could lead to a crash in `StructurizeCFG` pass
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:crash,
            crash-on-valid
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          shiltian
      </td>
    </tr>
</table>

<pre>
    ```
; RUN: opt -S -passes=structurizecfg %s -o -

 define void @foo() {
 entry:
   br i1 false, label %cond.true, label %cond.false

 cond.true: ; preds = %entry
   br label %cond.end

 cond.false:                                       ; preds = %entry
   br label %cond.end

 cond.end: ; preds = %cond.false, %cond.true
   ret void
 }
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJykUk1vnDAQ_TXDZcTKjPkIBw5kEb310Kg_wNhmceXFyDYrpb--MptokyqHSkVIaIbn9-aNnwjBXFatO6ieoRoyscfF-S4sxkYj1mxy6rWDmr29rAf-jD9-fgfeo9si5i-YbyIEHYAPIfpdxt2b31rOFwSqAuYO83SM9aj0bFaNN2cUQslm54CegFqE5jn912v0r8APLOLk0RQ4Cxs00BmtmLRNlNKt6hT9_kX3Dr6LPWC8xzT05rUKCHxI8LvUu85nFr2qjxx3Up6g__L8j1Qqv5r2wxx0_ryDg9freGw1VdAMifL9xjLVcdXyVmS6KxreEuO8YNnSqXZmuhKyrlTLOBez1E3bEEmuJ1EVLDMdMaoYFayoWVFWJ1YqKtiTUG3DpOAFlExfhbEna2_Xk_OXzISw666guuJldjgNR66IEgR4L70ICxABnYHoqHK35jdhjUrtash8l7D5tF8ClMyaEMNDIJpoj6i-PJJ2Hr9BNWCPwVw3qzHqEFGKoFG63Sq0WiiMDgUeemhWhJr9RVAzTCnOdm-7JcYtpBjSCDReTFz26STdFWg8bNw_-ebdLy0j0HjYDkDjm_NbR38CAAD__w___dE">