HAL4RT 1.0 FTF Avatar
  1. OMG Issue

HAL4RT — Incorrect integer types used in C PSM

  • Key: HAL4RT-19
  • Status: open  
  • Source: AIST ( Geoffrey Biggs)
  • Summary:

    The C PSM given in 7.5.2 uses int32_t and uint32_t. Unless there is a specific requirement for these values to be 32 bits, they should be specified as "int" and "unsigned int" and it be left up to the compiler for the platform in use to choose appropriate sizes.

  • Reported: HAL4RT 1.0b1 — Mon, 14 Mar 2016 19:03 GMT
  • Updated: Mon, 6 Nov 2017 12:34 GMT