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: %env_ubsan_opts=log_path='"%t.log"' %run %t -4 2> %t.out
16 // RUN: FileCheck %s --check-prefix=CHECK-ERROR < %t.log.*
17
18 // Run w/o errors should not produce any log.
19 // RUN: rm -f %t.log.*
20 // RUN: %env_ubsan_opts=log_path='"%t.log"' %run %t 4
21 // RUN: not cat %t.log.*
22
23 // FIXME: log_path is not supported on Windows yet.
24 // XFAIL: win32
25
26 #include <stdio.h>
27 #include <stdlib.h>
main(int argc,char * argv[])28 int main(int argc, char *argv[]) {
29 double a = atof(argv[1]);
30 unsigned int ai = (unsigned int) a;
31 printf("%f %u\n", a, ai);
32 return 0;
33 }
34
35 // CHECK-ERROR: runtime error: value -4 is outside the range of representable values of type 'unsigned int'
36
37