[cparser] / should_warn / div_by_zero.c

float NaN = 0.0/0.0;

int main(int argc, char *argv[]) {
        return argc / 0;
}