[all-commits] [llvm/llvm-project] ff59a1: [Verifier] Extend address taken check for unknown ...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ff59a1cfe64c0b619c1a8e9ae14406a47897b98d
      https://github.com/llvm/llvm-project/commit/ff59a1cfe64c0b619c1a8e9ae14406a47897b98d
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2021-07-15 (Thu, 15 Jul 2021)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Verifier/intrinsic-addr-taken.ll

  Log Message:
  -----------
  [Verifier] Extend address taken check for unknown intrinsics

Intrinsics can only be called directly, taking their address is not
legal. This is currently only enforced for intrinsics that have an
ID, rather than all intrinsics. Adjust the check to cover all
intrinsics.

This came up in D106013.

Differential Revision: https://reviews.llvm.org/D106095