projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 803cf7a) | patch
[Verifier] Extend address taken check for unknown intrinsics
authorNikita Popov <nikita.ppv@gmail.com>
Thu, 15 Jul 2021 18:34:56 +0000 (20:34 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Thu, 15 Jul 2021 21:16:14 +0000 (23:16 +0200)
commitff59a1cfe64c0b619c1a8e9ae14406a47897b98d
tree385158451f227124b8fb8d06490b0fcefdf75116tree | snapshot
parent803cf7ac0c7be0eb48a99562e99aae578617755acommit | diff
[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
llvm/lib/IR/Verifier.cpp diff | blob | history
llvm/test/Verifier/intrinsic-addr-taken.ll [new file with mode: 0644] blob
Domain: System / Toolchain;