reames abandoned this revision. reames added a comment. The test case Sanjoy added shows a fatal flaw in this approach. If free is possible, my reason would have to be context sensitive and that's not worth implementing at this time. https://reviews.llvm.org/D32331