ubsan.c

#include <stdio.h>
#include <stdlib.h>
#include <limits.h>
int main(void)
{
    int x = INT_MAX;
    x += 1; // Integer overflow here
    printf("x = %i\n", x);
    return 0;
}