efriedma added a comment. I'd like to see a better motivating example; the specific example here could be handled by something more targeted in arg-promotion or something. What's the difference between overdefined and untracked? https://reviews.llvm.org/D37355