1 // RUN: %clangxx -fsanitize=integer %s -o %t && %t 2>&1 | FileCheck %s 2 // REQUIRES: ubsan-asan 3 4 #include <stdint.h> 5 6 int main() { 7 (void)(uint64_t(10000000000000000000ull) + uint64_t(9000000000000000000ull)); 8 // CHECK: SUMMARY: AddressSanitizer: undefined-behavior {{.*}}summary.cpp:[[@LINE-1]] 9 return 0; 10 } 11