Optimize alloc syntax, type syntax.
Remove unreachable defer code after return stmt.
Modify test cases.