interface/isl.py.top.*: explicitly cast self.ptr of Context to c_void_p
commit3c9ba4b4b5ce64e09e03a2206eaf1d074c0f9166
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 4 May 2017 14:36:45 +0000 (4 16:36 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 4 May 2017 14:36:45 +0000 (4 16:36 +0200)
tree23b693d66a418d5470d0a99f4bdd13b055d2798f
parent3f96157cab7d4741ea9f8b4b6d1868324cd545e6
interface/isl.py.top.*: explicitly cast self.ptr of Context to c_void_p

Without the cast, the pointer is treated as an integer and may get truncated.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
interface/isl.py.top.no_pet
interface/isl.py.top.pet