test/Shell/Recognizer/Inputs/ubsan_add_overflow.c

#include <limits.h>

int main() { return INT_MAX + 1; }