rust/tests/codegen/sanitizer/dataflow-instrument-functions.rs

// Verifies that functions are instrumented.
//
//@ needs-sanitizer-dataflow
//@ compile-flags: -Copt-level=0 -Zsanitizer=dataflow

#![crate_type="lib"]

pub fn foo() {
}
// CHECK: define{{.*}}foo{{.*}}.dfsan
Add initial support for DataFlowSanitizer Adds initial support for DataFlowSanitizer to the Rust compiler. It currently supports `-Zsanitizer-dataflow-abilist`. Additional options for it can be passed to LLVM command line argument processor via LLVM arguments using `llvm-args` codegen option (e.g., `-Cllvm-args=-dfsan-combine-pointer-labels-on-load=false`). 2024-02-01 21:16:30 +00:00			`// Verifies that functions are instrumented.`
			`//`
			`//@ needs-sanitizer-dataflow`
			`//@ compile-flags: -Copt-level=0 -Zsanitizer=dataflow`

			`#![crate_type="lib"]`

			`pub fn foo() {`
			`}`
			`// CHECK: define{{.}}foo{{.}}.dfsan`