src/tools/miri/tests/native-lib/fn_ptr.c

#include <stddef.h>
#include <stdint.h>

// See comments in build_native_lib()
#define EXPORT __attribute__((visibility("default")))

EXPORT void call_fn_ptr(void f(void)) {
    if (f != NULL) {
        f();
    }
}

EXPORT void call_fn_ptr_with_arg(int32_t f(int32_t)) {
    if (f != NULL) {
        f(42);
    }
}