/* integer_divide.c -- integer division by zero, which is undefined behaviour
   in C (C17 6.5.5). There is no flag and no NaN to return; what happens is
   whatever the compiler and the CPU make of it. Do not write this. */
#include <stdio.h>

int main(void)
{
    volatile int zero = 0, seven = 7;

    int q1 = 1 / zero;
    printf("1 / 0 = %d\n", q1);
    fflush(stdout);

    int q7 = seven / zero;
    printf("7 / 0 = %d\n", q7);
    return 0;
}