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

    <tr>
        <th>Summary</th>
        <td>
            [DAG] visitFREEZE - crash after #145939
        </td>
    </tr>

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

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

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

<pre>
    Reported by @eaeltsin @rupprecht 

```ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%struct.bar = type { [5 x ptr] }

@global = external dso_local global %struct.bar

define i1 @foo(ptr %arg, i1 %arg1) {
bb:
    #dbg_value(ptr @global, !3, !DIExpression(), !5)
  %icmp = icmp ne ptr %arg, getelementptr inbounds nuw (i8, ptr @global, i64 1)
  %select = select i1 %arg1, i1 %icmp, i1 false
  ret i1 %select
}

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!2}

!0 = distinct !DICompileUnit(language: DW_LANG_C11, file: !1, isOptimized: false, runtimeVersion: 0, emissionKind: NoDebug)
!1 = !DIFile(filename: "x.c", directory: "/proc/self/cwd")
!2 = !{i32 2, !"Debug Info Version", i32 3}
!3 = !DILocalVariable(name: "x", arg: 1, scope: !4, file: !1)
!4 = distinct !DISubprogram(name: "x", scope: null, file: !1, spFlags: DISPFlagDefinition, unit: !0)
!5 = !DILocation(line: 0, scope: !4)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxsVV-PozYQ_zTOi0UEAyTwwAMXltPqTtfqVr1KfVkZGIhbYyP_2cv201c2JJvtrYRgPJ7fzG_-GDNj-CQRK5J_IgDfvzzxWUkCQPJmx5w9K11tyl2nhtfqOy5KWxxo90pJFiNDYQ2XXtZuWTT2Z0tJXPvnEK-PECSuLdMTWjowywR7Vc5SkjaUAGA0k7TGaIFjTNI6hfDyy-T90kuHLLwifhMSKEhaJ1BEYxFvkgyqwxV-yKInbwbwxsNqvgi8crgUh-dDFjn5j1Q_ZSS4dJdokm6F-AdyY7Xr7b5jOqDs64KUHD9Rkn_K6YUuVpO8oeTYbIgsnoTqmAjWeLGoJRN0MOpZqJ4Jet2997xCBxy5RMoTX9VRKQLFYrW3ZHoicAo7YZEQKD0JEtddR1IPppRSAunQTc8vTDi8gq90PJ5Akm7f5vHhsmg0hvu2FwTKbSP3ondHIOf9vIQ0giCRvqczoUWBM0rr9Vx2ysnBUOl-UgIFL7zNLxz4IaPJXQyDAvt1KDbxPstrzp7AthqZMBjQGq_GK9JX8dYGSIR4mfdDN-17t_U78SWDJN6sNpNZDU7gfhRsMu8N4d5dHPYGbiyXnrCv4UnNCxf4h-SWQCGYnBybkKQ1bf58_lp_-_x8SkIWIxdBTWBdc_PbYvnM_8XBq9ec4ES1k5bP-AN1aExa09irceahU1-4DPbfVIOdm9Yyep9X3s1j6yNB4QNKNm9B4bLv_UzDiQ5cY2-Vft12CLSLVj2B1qAYCbT9zyGoN9dwVxKeAoVtTghA4EAf5ajolfAaw9ultyKnb-S--hPwg2nOusDynuGG9bOV1jRUyfRquZYt-7WMG8Psg8Y8uW7RatJs_jjKzbN0QnzUILO0fh5CKx-ffveLxh9PbkOaJ-p8z1dAfKOSv091tS0El3hr5f9yKu9_mLuhSocyLdkOq-SYp0mSHTPYnaty7Ls4K2PGYGDAeoZwGMcsPhTYjQdW7HgFMeTxEZLkkJQx7LvjeCzHJO6OmPfDcfT_7JlxsQ8jr_S048Y4rJKsLLJkJ1iHwmy3Qa-ZOUdKRi9M8HUYTgTAI0laP4WzxpVs6s_bhaErvxd1bjIkiwU31rzFsdyKcM94-7yhL9xw235_ePjrgUY0xKJstOj_LGmS5WVa7pwW1dnaxdefQEugnbg9u27fq5lAG5isn2jR6m9_9qENCRkC7ZbTSwX_BQAA__-qCvhp">