Add integer sign inference analysis pass#807

shaobo-he wants to merge 1 commit intodevelopsmackers/smack:developfrom

sign-analysissmackers/smack:sign-analysisCopy head branch name to clipboard