mirror of https://github.com/rust-lang/rust
61 lines
1.9 KiB
Rust
61 lines
1.9 KiB
Rust
#![allow(non_camel_case_types)]
|
|
// Verifies that labels are propagated through loads and stores.
|
|
//
|
|
//@ needs-sanitizer-support
|
|
//@ needs-sanitizer-dataflow
|
|
//@ run-pass
|
|
//@ compile-flags: -Zsanitizer=dataflow -Zsanitizer-dataflow-abilist={{src-base}}/sanitizer/dataflow-abilist.txt
|
|
|
|
use std::mem::size_of;
|
|
use std::os::raw::{c_int, c_long, c_void};
|
|
|
|
type dfsan_label = u8;
|
|
|
|
extern "C" {
|
|
fn dfsan_add_label(label: dfsan_label, addr: *mut c_void, size: usize);
|
|
fn dfsan_get_label(data: c_long) -> dfsan_label;
|
|
fn dfsan_has_label(label: dfsan_label, elem: dfsan_label) -> c_int;
|
|
fn dfsan_read_label(addr: *const c_void, size: usize) -> dfsan_label;
|
|
fn dfsan_set_label(label: dfsan_label, addr: *mut c_void, size: usize);
|
|
}
|
|
|
|
fn propagate2(i: &i64) -> i64 {
|
|
i.clone()
|
|
}
|
|
|
|
fn propagate(i: i64) -> i64 {
|
|
let v = vec!(i, 1, 2, 3);
|
|
let j = v.iter().sum();
|
|
propagate2(&j)
|
|
}
|
|
|
|
pub fn main() {
|
|
let mut i = 1i64;
|
|
let i_ptr = &mut i as *mut i64;
|
|
let i_label: dfsan_label = 1;
|
|
unsafe {
|
|
dfsan_set_label(i_label, i_ptr as *mut c_void, size_of::<i64>());
|
|
}
|
|
|
|
let new_label = unsafe { dfsan_get_label(i) };
|
|
assert_eq!(i_label, new_label);
|
|
|
|
let read_label = unsafe { dfsan_read_label(i_ptr as *const c_void, size_of::<i64>()) };
|
|
assert_eq!(i_label, read_label);
|
|
|
|
let j_label: dfsan_label = 2;
|
|
unsafe {
|
|
dfsan_add_label(j_label, i_ptr as *mut c_void, size_of::<i64>());
|
|
}
|
|
|
|
let read_label = unsafe { dfsan_read_label(i_ptr as *const c_void, size_of::<i64>()) };
|
|
assert_eq!(unsafe { dfsan_has_label(read_label, i_label) }, 1);
|
|
assert_eq!(unsafe { dfsan_has_label(read_label, j_label) }, 1);
|
|
|
|
let mut new_i = propagate(i);
|
|
let new_i_ptr = &mut new_i as *mut i64;
|
|
let read_label = unsafe { dfsan_read_label(new_i_ptr as *const c_void, size_of::<i64>()) };
|
|
assert_eq!(unsafe { dfsan_has_label(read_label, i_label) }, 1);
|
|
assert_eq!(unsafe { dfsan_has_label(read_label, j_label) }, 1);
|
|
}
|