100% coverage

README.md

@@ -138,6 +138,7 @@ $ sh boot.sh
 - 函数只支持最多八个参数。函数声明中支持可变参数，仅用于兼容 C 语言库。
 - 类型检查有遗漏，若 C 编译器报错，而本语言编译通过，就可以认为是 UB。
   - 例如函数调用的参数和 `return` 语句不会检查类型。
+  - 赋值和比较时没有类型检查，这是为了方便 `0` 成为空指针常量。
 
 
 ## 限制

boot.c

@@ -1095,10 +1095,6 @@ int asm_add(int lhs, int rhs) {
             idx = lhs;
         }
         int ptr_type = reg_type[ptr];
-        if (ptr_type == TYPE_VOID_PTR) {
-            fprintf(stderr, "void pointer cannot be arithmetically operated\n");
-            exit(1);
-        }
         int offset = next_reg(TYPE_INT);
         _asm_ri("slli", offset, idx, log_step_of(ptr_type));
         return asm_rr(ptr_type, "add", ptr, offset);
@@ -1120,10 +1116,6 @@ int asm_sub(int lhs, int rhs) {
             fprintf(stderr, "pointer type mismatch\n");
             exit(1);
         }
-        if (lhs_type == TYPE_VOID_PTR) {
-            fprintf(stderr, "void pointer cannot be arithmetically operated\n");
-            exit(1);
-        }
         int diff = asm_rr(TYPE_INT, "sub", lhs, rhs);
         _asm_ri("srai", diff, diff, log_step_of(lhs_type));
         return diff;
@@ -1151,6 +1143,7 @@ int addressof(int reg) {
         indirection[reg] = 0;
     } else {
         printf("cannot take address of this expression");
+        exit(1);
     }
     return reg;
 }
@@ -1651,10 +1644,6 @@ void parse_local_variable(int type) {
     unget_token();
     expect_token(TOKEN_ASSIGN);
     int reg = parse_expr();
-    if (type != reg_type[reg]) {
-        fprintf(stderr, "type mismatch in assignment\n");
-        exit(1);
-    }
     store_into_local(reg, slot);
 }
 

cov-test.sh

@@ -2,8 +2,8 @@ mkdir -p cov && cd cov &&
 rm *
 gcc --coverage -g -O0 ../boot.c -o boot.elf
 for i in ../test/**/*.c; do
-    echo "Running coverage for test '$(basename $i .c)'"
+    echo "Running coverage for test '$i'"
-    ./boot.elf < $i > /dev/null
+    ./boot.elf < $i > /dev/null 2>/dev/null
     gcov boot.elf-boot.c
 done
 

run.sh

@@ -3,4 +3,4 @@ gcc boot.c -o boot.elf &&
 riscv64-linux-gnu-gcc-12 -static $1.s -o $1.elf && 
 qemu-riscv64 $1.elf
 echo $?
-rm $1.s $1.elf boot.elf
+rm $1.s $1.elf boot.elf 2> /dev/null

test/error/addressof_rvalue.c

@@ -0,0 +1,3 @@
+int main() {
+    &0;
+}

test/error/deref_non_ptr.c

@@ -0,0 +1,4 @@
+int main() {
+    int a;
+    *a;
+}

test/error/deref_void_ptr.c

@@ -0,0 +1,4 @@
+int main() {
+    void* p;
+    *p;
+}

test/error/endless_char.c

@@ -0,0 +1,3 @@
+int main() {
+    '
+}

test/error/endless_comment.c

@@ -0,0 +1 @@
+/*

test/error/endless_string.c

@@ -0,0 +1,3 @@
+int main() {
+    "
+}

test/error/invalid_break.c

@@ -0,0 +1,3 @@
+int main() {
+    break;
+}

test/error/invalid_continue.c

@@ -0,0 +1,3 @@
+int main() {
+    continue;
+}

test/error/invalid_dots.c

@@ -0,0 +1 @@
+.

test/error/invalid_escape.c

@@ -0,0 +1,3 @@
+int main() {
+    return '\i';
+}

test/error/negative_array_size.c

@@ -0,0 +1 @@
+int a[-1];

test/error/unexpected_char.c

@@ -0,0 +1 @@
+`

test/error/unexpected_global.c

@@ -0,0 +1 @@
+0

test/error/unexpected_token.c

@@ -0,0 +1,3 @@
+int main() {
+    if 1
+}

test/error/variable_array_size.c

@@ -0,0 +1,2 @@
+int size = 10;
+int a[size];

test/error/void_arg.c

@@ -0,0 +1 @@
+void f(void a) {}

test/error/void_global.c

@@ -0,0 +1 @@
+void a;

test/error/void_local.c

@@ -0,0 +1,3 @@
+void f() {
+    void a;
+}

test/operator/assign.c

@@ -0,0 +1,28 @@
+int printf(char* format, ...);
+
+int main() {
+    int a = 5;
+    int b = 4;
+    a += b;
+    printf("%d\n", a);
+    a -= b;
+    printf("%d\n", a);
+    a *= b;
+    printf("%d\n", a);
+    a /= b;
+    printf("%d\n", a);
+    a %= b;
+    printf("%d\n", a);
+    a &= b;
+    printf("%d\n", a);
+    a |= b;
+    printf("%d\n", a);
+    a ^= b;
+    printf("%d\n", a);
+    a = b;
+    printf("%d\n", a);
+    a <<= b;
+    printf("%d\n", a);
+    a >>= b;
+    printf("%d\n", a);
+}

test/unsupported/address_of_pointer.c

@@ -0,0 +1,4 @@
+int main() {
+    int* p;
+    &p;
+}

test/unsupported/array_of_pointer_arg.c

@@ -0,0 +1 @@
+void f(int* a[]) {}

test/unsupported/array_of_pointer_global.c

@@ -0,0 +1 @@
+int* a[10];

test/unsupported/array_of_pointer_local.c

@@ -1,3 +1,3 @@
-int main() {
+void f() {
     int* a[10];
 }