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: windows-msvc
27
28 #include <stdio.h>
29 #include <stdlib.h>
main(int argc,char * argv[])30 int main(int argc, char *argv[]) {
31 double a = atof(argv[1]);
32 unsigned int ai = (unsigned int) a;
33 printf("%f %u\n", a, ai);
34 return 0;
35 }
36
37 // CHECK-ERROR: runtime error: -4 is outside the range of representable values of type 'unsigned int'
38
39