Add the regression test for a possible interprocedural bug#80

theyoucheng wants to merge 1 commit intodiffblue:masterdiffblue/2ls:masterfrom

theyoucheng:heuristicstheyoucheng/2ls:heuristicsCopy head branch name to clipboard