Add function inlining pass to improve DSA precision#809

shaobo-he wants to merge 3 commits intodevelopsmackers/smack:developfrom

function-inliningsmackers/smack:function-inliningCopy head branch name to clipboard