[all-commits] [llvm/llvm-project] 137597: Add a verifier check that rejects non-distinct DIS...

[adrian-prantl via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 137597d4f47854bb1701f6883d5c91e8a14d29a2
      https://github.com/llvm/llvm-project/commit/137597d4f47854bb1701f6883d5c91e8a14d29a2
  Author: Adrian Prantl <aprantl at apple.com>
  Date:   2020-09-25 (Fri, 25 Sep 2020)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/DebugInfo/Generic/2009-11-03-InsertExtractValue.ll
    A llvm/test/Verifier/unique-disubprogram.ll

  Log Message:
  -----------
  Add a verifier check that rejects non-distinct DISubprogram function
attachments. They would crash the backend, which expects all
DISubprograms that are not part of the type system to have a unit field.

Clang right before https://reviews.llvm.org/D79967 would generate this
kind of broken IR.

rdar://problem/69534688

Thanks to Fangrui for fixing an assembler test I had missed!

https://reviews.llvm.org/D88270