6
6
// RUN: rm -f %tmp
7
7
// RUN: echo "[integer]" >> %tmp
8
8
// RUN: echo "fun:implicitUnsignedTruncation" >> %tmp
9
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
10
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
11
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
12
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
9
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
10
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
11
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
12
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
13
13
14
14
// RUN: rm -f %tmp
15
15
// RUN: echo "[implicit-conversion]" >> %tmp
16
16
// RUN: echo "fun:implicitUnsignedTruncation" >> %tmp
17
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
18
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
19
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
20
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
17
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
18
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
19
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
20
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
21
21
22
22
// RUN: rm -f %tmp
23
23
// RUN: echo "[implicit-integer-truncation]" >> %tmp
24
24
// RUN: echo "fun:implicitUnsignedTruncation" >> %tmp
25
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
26
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
27
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
28
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
25
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
26
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
27
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
28
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
29
29
30
30
// RUN: rm -f %tmp
31
31
// RUN: echo "[implicit-signed-integer-truncation]" >> %tmp
32
32
// RUN: echo "fun:implicitUnsignedTruncation" >> %tmp
33
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
34
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
35
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
36
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
33
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O0 %s -o %t && %run %t 2>&1 | FileCheck %s
34
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
35
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O2 %s -o %t && %run %t 2>&1 | FileCheck %s
36
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O3 %s -o %t && %run %t 2>&1 | FileCheck %s
37
37
38
38
// RUN: rm -f %tmp
39
39
// RUN: echo "[implicit-unsigned-integer-truncation]" >> %tmp
40
40
// RUN: echo "fun:implicitUnsignedTruncation" >> %tmp
41
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
42
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
43
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O2 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
44
- // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelacklist =%tmp -O3 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
41
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O0 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
42
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O1 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
43
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O2 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
44
+ // RUN: %clang -fsanitize=implicit-integer-truncation -fno-sanitize-recover=implicit-integer-truncation -fsanitize-ignorelist =%tmp -O3 %s -o %t && not %run %t 2>&1 | FileCheck %s --check-prefixes=CHECK,ERROR
45
45
46
46
#include <stdint.h>
47
47
#include <stdio.h>
@@ -51,7 +51,7 @@ uint8_t implicitUnsignedTruncation(int32_t argc) {
51
51
// CHECK-NOT: runtime error
52
52
// CHECK-LABEL: TEST
53
53
return argc ; // BOOM
54
- // ERROR: {{.*}}signed-integer-truncation-ignorelacklist .c:[[@LINE-1]]:10: runtime error: implicit conversion from type '{{.*}} (aka 'int') of value -1 (32-bit, signed) to type '{{.*}}' (aka 'unsigned char') changed the value to 255 (8-bit, unsigned)
54
+ // ERROR: {{.*}}signed-integer-truncation-ignorelist .c:[[@LINE-1]]:10: runtime error: implicit conversion from type '{{.*}} (aka 'int') of value -1 (32-bit, signed) to type '{{.*}}' (aka 'unsigned char') changed the value to 255 (8-bit, unsigned)
55
55
// CHECK-NOT: runtime error
56
56
}
57
57
0 commit comments