1 files changed, 25 insertions, 0 deletions
diff --git a/tests/run-make/sepcomp-cci-copies/foo.rs b/tests/run-make/sepcomp-cci-copies/foo.rs
new file mode 100644
index 000000000..ba251fcb0
--- /dev/null
+++ b/tests/run-make/sepcomp-cci-copies/foo.rs
@@ -0,0 +1,25 @@
+extern crate cci_lib;
+use cci_lib::cci_fn;
+
+fn call1() -> usize {
+    cci_fn()
+}
+
+mod a {
+    use cci_lib::cci_fn;
+    pub fn call2() -> usize {
+        cci_fn()
+    }
+}
+
+mod b {
+    pub fn call3() -> usize {
+        0
+    }
+}
+
+fn main() {
+    call1();
+    a::call2();
+    b::call3();
+}