[PATCH] D138840: Verifier: Disallow uses of intrinsic global variables

[Matt Arsenault via Phabricator via llvm-commits]

arsenm updated this revision to Diff 484611.
arsenm added a reviewer: nikic.
arsenm added a comment.

Opaque pointers fixes the lld test failure. If other pointer cast mismatches for appending variables is banned (D140485 <https://reviews.llvm.org/D140485>) we don't need to worry about the dangling constant expressions anymore


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D138840/new/

https://reviews.llvm.org/D138840

Files:
  llvm/lib/IR/Verifier.cpp
  llvm/test/Linker/Inputs/funcimport_appending_global_used.ll
  llvm/test/Linker/funcimport_appending_global_used.ll
  llvm/test/Verifier/global-ctors-dtors-uses.ll
  llvm/test/Verifier/used-uses.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D138840.484611.patch
Type: text/x-patch
Size: 3821 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221221/968e12e7/attachment.bin>