Improve the test...
Improve the test...

The test itself isn't right yet, but the analysis *is* doing the right
thing.  I just have to figure out a decent way to test it.

This might start making more sense once I add support for a hook to
identify functions returning "new" memory locations.

travitch/llvm-analysis,wangxiayang/llvm-analysis,wangxiayang/llvm-analysis,travitch/llvm-analysis