uint{size}_t not defined

[sivansh11]

In file included from /home/sivansh/pico-sdk/tools/pioasm/c_sdk_output.cpp:9:
/home/sivansh/pico-sdk/tools/pioasm/output_format.h:83:9: error: ‘uint8_t’ does not name a type
   83 |         uint8_t used_gpio_ranges;
      |         ^~~~~~~
/home/sivansh/pico-sdk/tools/pioasm/output_format.h:16:1: note: ‘uint8_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   15 | #include "pio_enums.h"
  +++ |+#include <cstdint>
   16 |
In file included from /home/sivansh/pico-sdk/tools/pioasm/json_output.cpp:9:
/home/sivansh/pico-sdk/tools/pioasm/output_format.h:83:9: error: ‘uint8_t’ does not name a type
   83 |         uint8_t used_gpio_ranges;
      |         ^~~~~~~
/home/sivansh/pico-sdk/tools/pioasm/output_format.h:16:1: note: ‘uint8_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   15 | #include "pio_enums.h"
  +++ |+#include <cstdint>
   16 |

there are multiple more of similar errors

> arm-none-eabi-gcc --version
arm-none-eabi-gcc (Arch Repository) 14.2.0
Copyright (C) 2024 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

my theory is that some recent gcc update stopped implictly including stdint.h

is this a user error ?

[lurch]

Does #2468 fix this?

[sivansh11]

@lurch not with my laptop atm, but this should work, this is about the same as what I did.

[lurch]

Fix has now been merged into develop 🙂