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
34
|
; RUN: opt < %s -passes='rtsan' -S | FileCheck %s
define void @violation() #0 {
%1 = alloca ptr, align 8
%2 = call ptr @malloc(i64 noundef 2) #3
store ptr %2, ptr %1, align 8
ret void
}
declare ptr @malloc(i64 noundef) #1
define noundef i32 @main() #2 {
%1 = alloca i32, align 4
store i32 0, ptr %1, align 4
call void @violation() #4
ret i32 0
}
attributes #0 = { mustprogress noinline sanitize_realtime optnone ssp uwtable(sync) }
; RealtimeSanitizer pass should insert call to initialize the runtime
; CHECK: @llvm.used = appending global [1 x ptr] [ptr @rtsan.module_ctor]
; CHECK: @llvm.global_ctors = {{.*}}@rtsan.module_ctor
; RealtimeSanitizer pass should insert __rtsan_realtime_enter right after function definition
; CHECK-LABEL: @violation()
; CHECK-NEXT: call{{.*}}@__rtsan_realtime_enter
; RealtimeSanitizer pass should insert __rtsan_realtime_exit right before function return
; CHECK: call{{.*}}@__rtsan_realtime_exit
; CHECK-NEXT: ret{{.*}}void
; CHECK-LABEL: define internal void @rtsan.module_ctor()
; CHECK-NEXT: call void @__rtsan_ensure_initialized()
|
