Make pointer integer type language-dependent, instead of intptr_t
authorMatt Corallo <git@bluematt.me>
Thu, 3 Mar 2022 21:03:29 +0000 (21:03 +0000)
committerMatt Corallo <git@bluematt.me>
Fri, 4 Mar 2022 06:48:10 +0000 (06:48 +0000)
commit97e1121dc704985a3b4d6a4a4d4156cc7427bc8c
tree0234945ec39de958a69ae026dff0c75a4138a50d
parenta9ec26918a21dddc755cc9aba147cf46d737774e
Make pointer integer type language-dependent, instead of intptr_t

This is more consistent as we already did this in some places and
resolves issues on 32-bit Java platforms (ie Android ARMv7)
introduced in b0ba503b308bcdcbf1b7609876705c12408e44e6 and
071b5fa40465132896ffca3c8ad29d0374e983d2.
gen_type_mapping.py
genbindings.py