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