Model va_arg by giving the callee the arguments it was passed - #857

Model va_arg by giving the callee the arguments it was passed#857

shaobo-he wants to merge 1 commit into

developsmackers/smack:developfrom

va-arg-loweringsmackers/smack:va-arg-loweringCopy head branch name to clipboard