/* TAGS: c */

int main() {
    double zero = 0.0;
    double a = 3.14 / zero; /* ERROR */
}