/src/test/codegen/sanitizer-memory-track-orgins.rs

https://gitlab.com/rust-lang/rust · Rust · 30 lines · 5 code · 2 blank · 23 comment · 0 complexity · ddb92855269f3dd09b8c99e4fb08de0c MD5 · raw file 

    

  1. // Verifies that MemorySanitizer track-origins level can be controlled
    2. 

  2. // with -Zsanitizer-memory-track-origins option.
    3. 

  3. //
    4. 

  4. // needs-sanitizer-memory
    5. 

  5. // revisions:MSAN-0 MSAN-1 MSAN-2 MSAN-1-LTO MSAN-2-LTO
    6. 

  6. //
    7. 

  7. //[MSAN-0] compile-flags: -Zsanitizer=memory
    8. 

  8. //[MSAN-1] compile-flags: -Zsanitizer=memory -Zsanitizer-memory-track-origins=1
    9. 

  9. //[MSAN-2] compile-flags: -Zsanitizer=memory -Zsanitizer-memory-track-origins
    10. 

  10. //[MSAN-1-LTO] compile-flags: -Zsanitizer=memory -Zsanitizer-memory-track-origins=1 -C lto=fat
    11. 

  11. //[MSAN-2-LTO] compile-flags: -Zsanitizer=memory -Zsanitizer-memory-track-origins -C lto=fat
    12. 

  12. 

  13. #![crate_type="lib"]
    14. 

  14. 

  15. // MSAN-0-NOT: @__msan_track_origins
    16. 

  16. // MSAN-1:     @__msan_track_origins = weak_odr {{.*}}constant i32 1
    17. 

  17. // MSAN-2:     @__msan_track_origins = weak_odr {{.*}}constant i32 2
    18. 

  18. // MSAN-1-LTO: @__msan_track_origins = weak_odr {{.*}}constant i32 1
    19. 

  19. // MSAN-2-LTO: @__msan_track_origins = weak_odr {{.*}}constant i32 2
    20. 

  20. //
    21. 

  21. // MSAN-0-LABEL: define void @copy(
    22. 

  22. // MSAN-1-LABEL: define void @copy(
    23. 

  23. // MSAN-2-LABEL: define void @copy(
    24. 

  24. #[no_mangle]
    25. 

  25. pub fn copy(dst: &mut i32, src: &i32) {
    26. 

  26.     // MSAN-0-NOT: call i32 @__msan_chain_origin(
    27. 

  27.     // MSAN-1-NOT: call i32 @__msan_chain_origin(
    28. 

  28.     // MSAN-2:     call i32 @__msan_chain_origin(
    29. 

  29.     *dst = *src;
    30. 

  30. }
    31.