diff options
| -rw-r--r-- | src/debug.c | 2 | ||||
| -rw-r--r-- | tests/type_mismatch/test.mk | 1 | ||||
| -rw-r--r-- | tests/type_mismatch/type_mismatch.fwd | 5 |
3 files changed, 6 insertions, 2 deletions
diff --git a/src/debug.c b/src/debug.c index d229ae6..273fbb0 100644 --- a/src/debug.c +++ b/src/debug.c @@ -156,8 +156,6 @@ void type_mismatch(struct scope *scope, struct ast *node, char *ls = type_str(l); char *rs = type_str(r); semantic_error(scope, node, "type mismatch: %s vs %s\n", ls, rs); - free(ls); - free(rs); } void move_error(struct ast *new_use, struct ast *prev_use) diff --git a/tests/type_mismatch/test.mk b/tests/type_mismatch/test.mk new file mode 100644 index 0000000..3f589d9 --- /dev/null +++ b/tests/type_mismatch/test.mk @@ -0,0 +1 @@ +XFAIL += type_mismatch,'type_mismatch.fwd:4:12: error: type mismatch: i32 vs i64' diff --git a/tests/type_mismatch/type_mismatch.fwd b/tests/type_mismatch/type_mismatch.fwd new file mode 100644 index 0000000..e837740 --- /dev/null +++ b/tests/type_mismatch/type_mismatch.fwd @@ -0,0 +1,5 @@ +takes_i32(i32 n) {} + +main() { + takes_i32(20); +} |