src/tools/miri/tests/native-lib/native-lib.map


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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: *;
};