[PATCH] D84891: WIP: [Verifier] Flag dbg.declares which specify different addresses for the same fragment

[Adrian Prantl via Phabricator via llvm-commits]

aprantl added a comment.

Without a testcase it's not immediately obvious what this is catching. It's legal for two *different* fragments of the same variable to point to two separate allocas, I think that's the output of SROA. It's not legal for any one variable (fragment) to be described by a dbg.declare and any other instrinsic. A dbg.declare is supposed to be the only, authoritative location of a variable. So maybe the test could be even stricter.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84891