[all-commits] [llvm/llvm-project] 4a8b0e: [DebugInfo][Verifier] Verify that array types have...

[Jeremy Morse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4a8b0ea82495488e36da36e7d7f2eb14eda16457
      https://github.com/llvm/llvm-project/commit/4a8b0ea82495488e36da36e7d7f2eb14eda16457
  Author: Jeremy Morse <jeremy.morse at sony.com>
  Date:   2023-11-06 (Mon, 06 Nov 2023)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/DebugInfo/Generic/arrays-need-types.ll

  Log Message:
  -----------
  [DebugInfo][Verifier] Verify that array types have base types present (#70803)

The base-type field of a DICompositeType is optional in the IR syntax,
however it makes no sense to have an array of an unspecified type. Such
debug-info would be meaningless, and the added test crashes otherwise
(see #70787). Thus, add a verifier check to reject such ill-formed debug
info metadata. Test produced by Christian Ulmann.

fixes #70787