Use intptr_t for casting void * to an integer (#13463)
commite359c3687939688da88cc35fa464977e95627bdb
authorSteve Evans <SteveCEvans@users.noreply.github.com>
Thu, 21 Mar 2024 18:43:55 +0000 (21 18:43 +0000)
committerGitHub <noreply@github.com>
Thu, 21 Mar 2024 18:43:55 +0000 (21 19:43 +0100)
treeb4ad84dd616320a0190b70287041dbb90a82edfe
parentdc00d34bfd59db04c7791812bf15713332708bdd
Use intptr_t for casting void * to an integer (#13463)

* Use intptr_t for casting void * to an integer

* Update src/main/cms/cms.c

Co-authored-by: Petr Ledvina <ledvinap@gmail.com>
---------

Co-authored-by: Mark Haslinghuis <mark@numloq.nl>
Co-authored-by: Petr Ledvina <ledvinap@gmail.com>
src/main/cms/cms.c