Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 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)); | ||||
Pirama Arumuga Nainar | 7c91505 | 2015-04-08 08:58:29 -0700 | [diff] [blame] | 8 | // CHECK: SUMMARY: AddressSanitizer: undefined-behavior {{.*}}summary.cpp:[[@LINE-1]]:44 |
Stephen Hines | 6d18623 | 2014-11-26 17:56:19 -0800 | [diff] [blame] | 9 | return 0; |
10 | } |