1 // RUN: %clang_cc1 -fsanitize=alignment -fsanitize-recover=alignment -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s -implicit-check-not="call void @__ubsan_handle_alignment_assumption" --check-prefixes=CHECK 2 3 // CHECK-LABEL: @baseline baseline(void * x)4void *baseline(void *x) { 5 // CHECK: call void @__ubsan_handle_alignment_assumption( 6 return __builtin_assume_aligned(x, 1); 7 } 8 9 // CHECK-LABEL: blacklist_0 blacklist_0(void * x)10__attribute__((no_sanitize("undefined"))) void *blacklist_0(void *x) { 11 return __builtin_assume_aligned(x, 1); 12 } 13 14 // CHECK-LABEL: blacklist_1 blacklist_1(void * x)15__attribute__((no_sanitize("alignment"))) void *blacklist_1(void *x) { 16 return __builtin_assume_aligned(x, 1); 17 } 18 19 // CHECK-LABEL: dont_ignore_volatile_ptrs dont_ignore_volatile_ptrs(void * volatile x)20void *dont_ignore_volatile_ptrs(void * volatile x) { 21 // CHECK: call void @__ubsan_handle_alignment_assumption( 22 return __builtin_assume_aligned(x, 1); 23 } 24 25 // CHECK-LABEL: ignore_volatiles ignore_volatiles(volatile void * x)26void *ignore_volatiles(volatile void * x) { 27 return __builtin_assume_aligned(x, 1); 28 } 29