1 | // FIXME: https://code.google.com/p/address-sanitizer/issues/detail?id=316 |
2 | // XFAIL: android |
3 | |
4 | // The globs below do not work in the lit shell. |
5 | // REQUIRES: shell |
6 | |
7 | // RUN: %clangxx -fsanitize=undefined %s -O1 -o %t |
8 | |
9 | // Regular run. |
10 | // RUN: %run %t -4 2> %t.out |
11 | // RUN: FileCheck %s --check-prefix=CHECK-ERROR < %t.out |
12 | |
13 | // Good log_path. |
14 | // RUN: rm -f %t.log.* |
15 | // RUN: %device_rm -f '%t.log.*' |
16 | // RUN: %env_ubsan_opts=log_path='"%t.log"' %run %t -4 2> %t.out |
17 | // RUN: FileCheck %s --check-prefix=CHECK-ERROR < %t.log.* |
18 | |
19 | // Run w/o errors should not produce any log. |
20 | // RUN: rm -f %t.log.* |
21 | // RUN: %device_rm -f '%t.log.*' |
22 | // RUN: %env_ubsan_opts=log_path='"%t.log"' %run %t 4 |
23 | // RUN: not cat %t.log.* |
24 | |
25 | // FIXME: log_path is not supported on Windows yet. |
26 | // XFAIL: target={{.*windows-msvc.*}} |
27 | |
28 | // Issue #41838 |
29 | // XFAIL: sparc-target-arch && target={{.*solaris.*}} |
30 | |
31 | #include <stdio.h> |
32 | #include <stdlib.h> |
33 | int main(int argc, char *argv[]) { |
34 | double a = atof(nptr: argv[1]); |
35 | unsigned int ai = (unsigned int) a; |
36 | printf(format: "%f %u\n" , a, ai); |
37 | return 0; |
38 | } |
39 | |
40 | // CHECK-ERROR: runtime error: -4 is outside the range of representable values of type 'unsigned int' |
41 | |
42 | |