blob: 2e9141ca04001e22992468c24917bf9a449064df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
/* PR sanitizer/58411 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=undefined -w" } */
__attribute__((no_sanitize_undefined)) int
f1 (int i)
{
return 16 << i;
}
int f2 (int i);
int f2 (int i) __attribute__((no_sanitize_undefined));
int f2 (int i) __attribute__((no_sanitize_undefined));
int f2 (int i);
int
f2 (int i)
{
return 1 / i;
}
void f3 (void);
__typeof (f3) f3 __attribute__((__no_sanitize_undefined__));
void
f3 (void)
{
__builtin_unreachable ();
}
/* { dg-final { scan-assembler-not "__ubsan_handle_shift_out_of_bounds" } } */
/* { dg-final { scan-assembler-not "__ubsan_handle_divrem_overflow" } } */
/* { dg-final { scan-assembler-not "__ubsan_handle_builtin_unreachable" } } */
|
