File tree Expand file tree Collapse file tree 6 files changed +17
-0
lines changed
test-e2e/AddressSanitizer Expand file tree Collapse file tree 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
3030set (UR_BUILD_EXAMPLES OFF CACHE BOOL "Build example applications." FORCE)
3131set (UR_BUILD_TESTS OFF CACHE BOOL "Build unit tests." FORCE)
3232set (UR_BUILD_XPTI_LIBS OFF )
33+ set (UR_ENABLE_SYMBOLIZER ON CACHE BOOL "Enable symbolizer for sanitizer layer." )
3334set (UR_ENABLE_TRACING ON )
3435
3536if ("level_zero" IN_LIST SYCL_ENABLE_PLUGINS)
Original file line number Diff line number Diff line change @@ -27,3 +27,7 @@ int main() {
2727// CHECK-HOST: [[ADDR]] is located inside of Host USM region {{\[0x.*, 0x.*\)}}
2828// CHECK-SHARED: [[ADDR]] is located inside of Shared USM region {{\[0x.*, 0x.*\)}}
2929// 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() {
2525 // CHECK-HOST: [[ADDR]] is located inside of Host USM region {{\[0x.*, 0x.*\)}}
2626 // CHECK-SHARED: [[ADDR]] is located inside of Shared USM region {{\[0x.*, 0x.*\)}}
2727 // 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]]
2832 return 0 ;
2933}
Original file line number Diff line number Diff line change @@ -30,4 +30,8 @@ int main() {
3030// CHECK-SHARED: [[ADDR]] is located inside of Shared USM region {{\[0x.*, 0x.*\)}}
3131// CHECK-DEVICE: [[ADDR]] is located inside of Device USM region {{\[0x.*, 0x.*\)}}
3232// CHECK: freed here
33+ // CHECH: in main {{.*double-free.cpp:}}[@LINE-33]
3334// 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() {
4646 // CHECK: #0 {{.*}} {{.*quarantine-no-free.cpp}}:[[@LINE-5]]
4747 // CHECK: [[ADDR]] is located inside of Device USM region [{{0x.*}}, {{0x.*}})
4848 // CHECK: allocated here:
49+ // CHECK: in main {{.*quarantine-no-free.cpp}}:[[@LINE-27]]
4950 // CHECK: released here:
51+ // CHECK: in main {{.*quarantine-no-free.cpp}}:[[@LINE-25]]
5052
5153 return 0 ;
5254}
Original file line number Diff line number Diff line change @@ -21,7 +21,9 @@ int main() {
2121 // CHECK: #0 {{.*}} {{.*use-after-free.cpp:}}[[@LINE-5]]
2222 // CHECK: [[ADDR]] is located inside of Device USM region [{{0x.*}}, {{0x.*}})
2323 // CHECK: allocated here:
24+ // CHECK: in main {{.*use-after-free.cpp:}}[[@LINE-14]]
2425 // CHECK: released here:
26+ // CHECK: in main {{.*use-after-free.cpp:}}[[@LINE-15]]
2527
2628 return 0 ;
2729}
You can’t perform that action at this time.
0 commit comments