Improving debug variable location coverage by using even more SSA

In this talk, Jeremy explains how LLVM has been tracking variable locations to date and its limitations, how a proposed new technique for tracking variable locations works, and how this can become a pair of SSA (Single Static Assignment) problems to solve at the end of compilation.