File tree 6 files changed +17
-0
lines changed
test-e2e/AddressSanitizer
6 files changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -30,6 +30,7 @@ option(SYCL_UMF_DISABLE_HWLOC
30
30
set (UR_BUILD_EXAMPLES OFF CACHE BOOL "Build example applications." FORCE)
31
31
set (UR_BUILD_TESTS OFF CACHE BOOL "Build unit tests." FORCE)
32
32
set (UR_BUILD_XPTI_LIBS OFF )
33
+ set (UR_ENABLE_SYMBOLIZER ON CACHE BOOL "Enable symbolizer for sanitizer layer." )
33
34
set (UR_ENABLE_TRACING ON )
34
35
35
36
if ("level_zero" IN_LIST SYCL_ENABLE_PLUGINS)
Original file line number Diff line number Diff line change @@ -27,3 +27,7 @@ int main() {
27
27
// CHECK-HOST: [[ADDR]] is located inside of Host USM region {{\[0x.*, 0x.*\)}}
28
28
// CHECK-SHARED: [[ADDR]] is located inside of Shared USM region {{\[0x.*, 0x.*\)}}
29
29
// CHECK-DEVICE: [[ADDR]] is located inside of Device USM region {{\[0x.*, 0x.*\)}}
30
+ // CHECK: allocated here:
31
+ // CHECK-HOST: in main {{.*bad-free-minus1.cpp:}}[[@LINE-15]]
32
+ // CHECK-SHARED: in main {{.*bad-free-minus1.cpp:}}[[@LINE-14]]
33
+ // CHECK-DEVICE: in main {{.*bad-free-minus1.cpp:}}[[@LINE-13]]
Original file line number Diff line number Diff line change @@ -25,5 +25,9 @@ int main() {
25
25
// CHECK-HOST: [[ADDR]] is located inside of Host USM region {{\[0x.*, 0x.*\)}}
26
26
// CHECK-SHARED: [[ADDR]] is located inside of Shared USM region {{\[0x.*, 0x.*\)}}
27
27
// CHECK-DEVICE: [[ADDR]] is located inside of Device USM region {{\[0x.*, 0x.*\)}}
28
+ // CHECK: allocated here:
29
+ // CHECK-HOST: in main {{.*bad-free-plus1.cpp:}}[[@LINE-13]]
30
+ // CHECK-SHARED: in main {{.*bad-free-plus1.cpp:}}[[@LINE-12]]
31
+ // CHECK-DEVICE: in main {{.*bad-free-plus1.cpp:}}[[@LINE-11]]
28
32
return 0 ;
29
33
}
Original file line number Diff line number Diff line change @@ -30,4 +30,8 @@ int main() {
30
30
// CHECK-SHARED: [[ADDR]] is located inside of Shared USM region {{\[0x.*, 0x.*\)}}
31
31
// CHECK-DEVICE: [[ADDR]] is located inside of Device USM region {{\[0x.*, 0x.*\)}}
32
32
// CHECK: freed here
33
+ // CHECH: in main {{.*double-free.cpp:}}[@LINE-33]
33
34
// CHECK: previously allocated here
35
+ // CHECK-HOST: in main {{.*double-free.cpp:}}[[@LINE-19]]
36
+ // CHECK-SHARED: in main {{.*double-free.cpp:}}[[@LINE-18]]
37
+ // CHECK-DEVICE: in main {{.*double-free.cpp:}}[[@LINE-17]]
Original file line number Diff line number Diff line change @@ -46,7 +46,9 @@ int main() {
46
46
// CHECK: #0 {{.*}} {{.*quarantine-no-free.cpp}}:[[@LINE-5]]
47
47
// CHECK: [[ADDR]] is located inside of Device USM region [{{0x.*}}, {{0x.*}})
48
48
// CHECK: allocated here:
49
+ // CHECK: in main {{.*quarantine-no-free.cpp}}:[[@LINE-27]]
49
50
// CHECK: freed here:
51
+ // CHECK: in main {{.*quarantine-no-free.cpp}}:[[@LINE-25]]
50
52
51
53
return 0 ;
52
54
}
Original file line number Diff line number Diff line change @@ -21,7 +21,9 @@ int main() {
21
21
// CHECK: #0 {{.*}} {{.*use-after-free.cpp:}}[[@LINE-5]]
22
22
// CHECK: [[ADDR]] is located inside of Device USM region [{{0x.*}}, {{0x.*}})
23
23
// CHECK: allocated here:
24
+ // CHECK: in main {{.*use-after-free.cpp:}}[[@LINE-14]]
24
25
// CHECK: freed here:
26
+ // CHECK: in main {{.*use-after-free.cpp:}}[[@LINE-15]]
25
27
26
28
return 0 ;
27
29
}
You can’t perform that action at this time.
0 commit comments