diff options
| author | Julian Nagele <j.nagele@apple.com> | 2024-04-15 11:25:05 +0100 |
|---|---|---|
| committer | Florian Hahn <flo@fhahn.com> | 2024-04-15 11:25:06 +0100 |
| commit | 7dbba39e583a3fd64e7e6b947251c035e483f054 (patch) | |
| tree | 5444e7813addb740ada3420780a6ddc81aae5d30 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 5b95c9e0cad189cc609c31029f6bc3a89bc7b612 (diff) | |
Reapply "[TBAA] Add verifier for tbaa.struct metadata (#86709)"
This reverts commit b9cd48f96acdd07c627ccafbf4386a1f3dcd6c51.
-------------------------------------------------------------
Original commit message:
Adds logic to the IR verifier that checks whether !tbaa.struct nodes are
well-formed. That is, it checks that the operands of !tbaa.struct nodes
are in groups of three, that each group of three operands consists of
two integers and a valid tbaa node, and that the regions described by
the offset and size operands are non-overlapping.
PR: https://github.com/llvm/llvm-project/pull/86709
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions