From 7fde02ea53f423ca25740e9339d8ff1db8f73052 Mon Sep 17 00:00:00 2001
From: Strophox <strophox@gmail.com>
Date: Wed, 31 Jul 2024 09:41:14 +0200
Subject: enable Miri to pass const pointers through FFI

Co-authored-by: Ralf Jung <post@ralfj.de>
---
 src/tools/miri/tests/native-lib/native-lib.map | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 src/tools/miri/tests/native-lib/native-lib.map

(limited to 'src/tools/miri/tests/native-lib/native-lib.map')

diff --git a/src/tools/miri/tests/native-lib/native-lib.map b/src/tools/miri/tests/native-lib/native-lib.map
new file mode 100644
index 00000000000..7e3bd19622a
--- /dev/null
+++ b/src/tools/miri/tests/native-lib/native-lib.map
@@ -0,0 +1,20 @@
+CODEABI_1.0 {
+    # Define which symbols to export.
+    global:
+        # scalar_arguments.c
+        add_one_int;
+        printer;
+        test_stack_spill;
+        get_unsigned_int;
+        add_int16;
+        add_short_to_long;
+
+        # ptr_read_access.c
+        print_pointer;
+        access_simple;
+        access_nested;
+        access_static;
+
+    # The rest remains private.
+    local: *;
+};
-- 
cgit 1.4.1-3-g733a5