ptr_offset works fine with intptrcast now

This commit is contained in:
Ralf Jung 2019-07-06 11:05:51 +02:00
parent 0b9434cebb
commit dd6cf30f60