efriedma added a comment. This is a good idea. Can you add a note to the diagnostic explaining why this is a problem? Please add a testcase for clobbering the base pointer in a function with a VLA. Repository: rL LLVM https://reviews.llvm.org/D49727