RVBTCC/test/error/pointers_mismatch.c

int main() {
    int* a;
    char* b;
    a - b;
}