<div dir="ltr">Hi Peter,<br><br>After discovering several bugs in ArgumentPromotion and DeadArgumentElimination where llvm::Functions were replaced with similar functions (with the same name) to transform their type in some way, I started looking at all calls to llvm::Function::takeName to see if there were any other debug info quality bugs in similar callers.<br><br>One such caller is the DataFlowSanitizer, and I don't see any debug info tests for this so I'm wondering what /should/ happen here.<br><br>Is DFSan+DebugInfo something that matters? I assume so.<br><br>It looks like DFSan is creating wrappers (in/around DataFlowSanitizer.cpp:680-700) - when it does this, should it update the debug info for these functions? Or are these internal instrumentation functions & nothing to do with the code the user wrote? I can't quite tell from the code.<br><br>Could you provide any C/C++ source examples whis part of DFSan fires reliably, so I could experiment with some examples and see how the debug info looks?<br><br>Thanks,<br>- David<br></div>