HomeIsabelle/Phabricator
Diffusion Poly/ML 51f3ce2ae95f

Change some instances of POLYUNSIGNED to uintptr_t. The values can overflow 32…
51f3ce2ae95f
Actions

Description

Change some instances of POLYUNSIGNED to uintptr_t. The values can overflow 32-bits in 32-in-64.

Details

Provenance
dcjmAuthored on Oct 29 2019, 8:59 AM
Parents
rPOLYML03c494fd4ef6: Merge pull request #117 from Smattr/94D99334-6D8B-4CB4-942F-A9101629AB55
Branches
Unknown
Tags
Unknown

Event Timeline

David Matthews <dm@prolingua.co.uk> committed rPOLYML51f3ce2ae95f: Change some instances of POLYUNSIGNED to uintptr_t. The values can overflow 32… (authored by David Matthews <dm@prolingua.co.uk>).Oct 29 2019, 8:59 AM

Changes (1)

PathSize
libpolyml/

rPOLYML51f3ce2ae95f

View Options

libpolyml/heapsizing.cpp

Loading...