// rhs is a constant 0. Detector must flag.
int divide_by_constant_zero(int x) {
    return x / 0;
}