about summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib/ptr_read_access.c
AgeCommit message (Collapse)AuthorLines
2025-07-16hook up native-lib bitsNia Espera-0/+6
2025-02-28use fixed-width integer types in C codeRalf Jung-7/+8
2024-12-05extend Miri to correctly pass mutable pointers through FFIStrophox-4/+4
Co-authored-by: Ralf Jung <post@ralfj.de>
2024-09-03Enable native libraries on macOSJesse Rusak-4/+7
Fixes #3595 by using -fvisibility=hidden and the visibility attribute supported by both gcc and clang rather than the previous gcc-only mechanism for symbol hiding. Also brings over cfg changes from #3594 which enable native-lib functionality on all unixes.
2024-08-30enable Miri to pass const pointers through FFIStrophox-0/+47
Co-authored-by: Ralf Jung <post@ralfj.de>