add type-specifiers to let, N_UNINIT for uninitialized values

1 files changed, 1 insertions, 4 deletions

diff --git a/peephole.c b/peephole.c
index 58a7612..b8118db 100644
--- a/peephole.c
+++ b/peephole.c
@@ -250,10 +250,7 @@ static inline int is_zero(Node *n) {
 
 /* needs lexer for error reporting */
 Node *node_idealize(Node *n, Proc *p, Lexer *l) {
-	if (!type_check(n)) {
-		type_err(n, l);
-	}
-
+	type_check(n, l);
 	if (no_opt) return NULL;
 
 	/* try to compute a literal value */