Function _ptr_as_int

lean_py/_runtime.py:40–53

Convert any ctypes pointer-like value to a raw integer. macOS ctypes has a long-standing quirk: passing a `POINTER(struct)` instance directly to a `c_void_p`-typed parameter sometimes yields a corrupted value at the C boundary (the bug is reproducible with `restype = POINTER(...)` c

(p)

def _ptr_as_int(p) -> int:
    """Convert any ctypes pointer-like value to a raw integer.

    macOS ctypes has a long-standing quirk: passing a `POINTER(struct)`
    instance directly to a `c_void_p`-typed parameter sometimes yields
    a corrupted value at the C boundary (the bug is reproducible with
    `restype = POINTER(...)` chained into another call). Using the raw
    integer pointer value side-steps the issue entirely.
    """
    if p is None:
        return 0
    if isinstance(p, int):
        return p
    return ctypes.cast(p, c_void_p).value or 0


# ============================================================================