[all-commits] [llvm/llvm-project] 474f20: [Verifier] Check that !nonnull metadata is empty

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 474f20ba26400559e5d99fd4f29926253092f00b
      https://github.com/llvm/llvm-project/commit/474f20ba26400559e5d99fd4f29926253092f00b
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Bitcode/compatibility-6.0.ll
    A llvm/test/Verifier/nonnull_metadata.ll

  Log Message:
  -----------
  [Verifier] Check that !nonnull metadata is empty

!nonnull expectes an empty metadata argument, so check that this
is the case in the verifier. This came up as a problem in
https://reviews.llvm.org/D141386.

This requires dropping the verifier call in the compatibility-6.0.ll
test (which is not present in any of the other bitcode compatibility
tests). The original input unfortunately used typo'd nonnull
metadata.