| 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 | } | ||||