about summary refs log tree commit diff
path: root/tests/codegen-llvm/sanitizer/dataflow-instrument-functions.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/codegen-llvm/sanitizer/dataflow-instrument-functions.rs')
-rw-r--r--tests/codegen-llvm/sanitizer/dataflow-instrument-functions.rs9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/codegen-llvm/sanitizer/dataflow-instrument-functions.rs b/tests/codegen-llvm/sanitizer/dataflow-instrument-functions.rs
new file mode 100644
index 00000000000..a2d0d63cc17
--- /dev/null
+++ b/tests/codegen-llvm/sanitizer/dataflow-instrument-functions.rs
@@ -0,0 +1,9 @@
+// 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