diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-07-12 22:30:37 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-07-20 20:19:47 +0200 |
| commit | 1f8d3fd42b7c183f8fef438255e10e4e0f71d7d4 (patch) | |
| tree | c24a538cd3633decbf8b66440b7a35ce00a23b0a /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | c68f247275eed94a4f4b97ad53b4d599acfd181a (diff) | |
[Verifier] Check byval/etc type when comparing ABI attributes
For musttail calls, ABI attributes between the function and the
musttail call must match. The current check discards the type of
type attributes like byval, which means that it will consider
byval(i32) and byval(i64) (or similar) as compatible.
I assume this is a leftover from before these attributes had a
type argument. Ran into this while trying to tighten an assertion
in AttrBuilder.
Differential Revision: https://reviews.llvm.org/D105841
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions