[all-commits] [llvm/llvm-project] e17f52: 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: e17f52d623cc146b7d9bf5a2e02965043508b4c4
      https://github.com/llvm/llvm-project/commit/e17f52d623cc146b7d9bf5a2e02965043508b4c4
  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