[InterNetNews/inn] 0c6d73: Use uintptr_t to convert a pointer to an integer

Julien ÉLIE noreply at github.com
Thu Nov 2 21:15:08 UTC 2023


  Branch: refs/heads/main
  Home:   https://github.com/InterNetNews/inn
  Commit: 0c6d73c9043b455e4be9287a2b7b8470d61ed284
      https://github.com/InterNetNews/inn/commit/0c6d73c9043b455e4be9287a2b7b8470d61ed284
  Author: Julien ÉLIE <Julien-Elie at users.noreply.github.com>
  Date:   2023-11-02 (Thu, 02 Nov 2023)

  Changed paths:
    M configure.ac
    M lib/mmap.c
    M storage/cnfs/cnfs.c

  Log Message:
  -----------
  Use uintptr_t to convert a pointer to an integer

Issue seen on CheriBSD running on a Morello board
(capability-to-integer-cast error).

The relevant capability metadata for pointers is preserved in the
uintptr_t datatype.  This way, afterwards in the code, the other way
round of converting the computed integer value to a pointer works fine.




More information about the inn-committers mailing list