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

    <tr>
        <th>Summary</th>
        <td>
            UndefinedBehaviorSanitizer:DEADLYSIGNAL with updated SLPVectorizer
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    llvm commit: 738042711b

Reproduce with:
build-all-builtins/bin/clang -finline-hint-functions -std=c99 -fsanitize=undefined -O2 'vla_sum_1.c' -o 'vla_sum_1.out'
./vla_sum_1.out

This results in:

UndefinedBehaviorSanitizer:DEADLYSIGNAL
==160192==ERROR: UndefinedBehaviorSanitizer: BUS on unknown address (pc 0x00000042b6c9 bp 0x7fff7d630950 sp 0x1000100010001 T160192)
==160192==The signal is caused by a READ memory access.
==160192==Hint: this fault was caused by a dereference of a high value address (see register values below).  Disassemble the provided pc to learn which register was used.
    #0 0x42b6c9  (/repo/uabelho/master-github/llvm/vla_sum_1.out+0x42b6c9)
    #1 0x42b857  (/repo/uabelho/master-github/llvm/vla_sum_1.out+0x42b857)
    #2 0x7fa2c69b4554  (/lib64/libc.so.6+0x22554) (BuildId: e6847a931dd483773bab779dd3985b17c11caab2)
    #3 0x402cb4  (/repo/uabelho/master-github/llvm/vla_sum_1.out+0x402cb4)

UndefinedBehaviorSanitizer can not provide additional info.
SUMMARY: UndefinedBehaviorSanitizer: BUS (/repo/uabelho/master-github/llvm/vla_sum_1.out+0x42b6c9) 
==160192==ABORTING

This starts happening with 7380427:
Reapply "[SLP] Schedule only sub-graph of vectorizable instructions""
https://reviews.llvm.org/D118538

[vla_sum_1.c.gz](https://github.com/llvm/llvm-project/files/8185806/vla_sum_1.c.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytVdtu2zgQ_Rr5hZAgUvcHP9hw2w2QNgs7KdCngjdZ3FKkIVL2Jl-_Q8lO4hbZ7QIRJFG8aM6ZM8Mhs-JxqfWxR9z2vfJRtkJVVqc5qTBmUbqJ0tX83srDYMXIJTop38G6eZiNSouYah2HL6-Mi8hHpgy8uaZmj-JWGa2MjDtlfNyOhntljUOx8yLKNrxpYImjRnn1JGFgNELCL1Kg-I6giFRHTb-7sf-OEw49FNvrQTt66M9kEkC9nnnlwH2nHBqkG7V3CAhePJjfDxfYtezoUdlhd6Y0wMLNh9Xm9tvu5tOX1e35p2wDNy5T3JD5-8N2e7cN8v2rJbR-2CFr0Gh-GHsyiAoBlBy4VB84Sv9OpysnrOQNYgcYqdq2rUSZpU2RIhdGMKx4ftD9mQRp3mJ230nk1N5QjUABTkcH4rJHRNEW_EK97O0APc6BSPKWkT8geoG_Dyq2FEREJ3ptTchBtvAYyBHbwkCn9h06Uj3K1346KSEMe-W8HOZZh5jU9gQuJAhtlKPOyZ5pCWASQdYdlQAM0MdbpCUdDDp1incvVgKTwOPMHsEVkSwFrc5KBlzIjUEeLDQjBbwufPU0_B_vIaNHBv2wE37JIbK-2HkW-YyAZ4S6qN4FAez8jECmDKCElw3LiyK_4GjFynxueeJsUk42CIElYCIsWoeNeSNCzGRZ5xVtMixEXmdVlTHKqqoRImvqguGKY8wpZeRn8Cy4lxLO8ndwb7LzkqX_sekgsQwy1l_CHxJIhcIRkti09hzp3cPnz6vtt9_bdu-WA-itTbJa323vb758-qXsOE8HqDodPRykUVAVQw29FNrnSrSVMK8fgSiJivXu9s-o2KAd76QYYTNYA1NuZPF-oIcu7LCj5N4O6omGvQKV1w_jXFyDAbgno533BxcgyMfJ-6OSJ5cEJxM77GFog3FdZPVrzoD-quom-ycgAupdm5oFS-DceBEtNDGE7C9gBt1WaRnOgxoQ6rS8UnUye0mHhVhmoskauvDKa7n87Wo8CzkeBPVQIkCyr2dN5LAYB73835SVc-PEuchxUy-6ZYnTqhQ55W1Z5jVr2pQ0WVEKXDWSSowXOmSSW4JmoLmRJzSZmGK4WaglSQlJszTH0KQ4aURZszZrOS54UedZlKeyp0o_R2QxTOcxHKd7B5MaKtxLuBZQGqGSSznBgX06-s4Oy179oCGddS_NYsJfTvz_AXQnbm0">