Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.

llvm-svn: 54253