Please wait with any possible type switch couple more days, I’ll be back from
vacations on Wednesday and I will check this by then.
> Le 18 août 2019 à 17:05, Kamil Rytarowski a écrit :
>
> Ping? Can we switch from intptr_t to void*?
>
> I declare to fix fallout for it.
>
I think the rationale was to make it possible to use for integer values and
operations without cast. And make it clear it can hold arbitrary value, not
necessarily pointer. Unfortunately intptr_t has different size in 32 vs 64 bit
same as void *, which I didnt consider.
Using (void *) would be
