leaningtech/duetto-llvm — pull request #6 by sbabbi (2014-04-02 16:58:22+00:00)
Title: PointerAnalyzer::canBeCalledIndirectly now follows aliases

Check line DuettoWriter.cpp: 1630. Not entirely sure that assertion is always legitimately true.