RVBTCC/test/error/branch_mismatch.c

int main() {
    int a;
    int* b;
    0 ? a : b;
}