[Verifier] Skip debug location check for some non-inlinable functions
authorYuanfang Chen <yuanfang.chen@sony.com>
Fri, 2 Sep 2022 17:40:37 +0000 (10:40 -0700)
committerYuanfang Chen <yuanfang.chen@sony.com>
Fri, 2 Sep 2022 18:03:55 +0000 (11:03 -0700)
commit041ec822421aae33f064d96a21607e550766dd4d
treebf18c692fbdd413fcf0e3c3ecd23914605cc2151
parent57fd8665516161c3d2dbe3f0ad8461552967692a
[Verifier] Skip debug location check for some non-inlinable functions

If a callee function is not interposable, skip debug location check for its callsites. Doing this is instrumentation-friendly otherwise under some conditions this check triggers for some un-inlinable call sites.

Reviewed By: aprantl

Differential Revision: https://reviews.llvm.org/D133060
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/callsite-dbgloc.ll