As mentioned in https://gcc.gnu.org/gcc-13/porting_to.html#header-dep-changes, some headers that were typically included by some C++ Standard Library headers are not included now in GCC 13.
As a consequence, you need to explicitly include in the two files where 'uint32_t' is used to avoid a compilation error: 'uint32_t' has not been declared.
I tried to attach a patch along with this message, but github apparently does not allow to upload files in issue messages in private repos :-? (maybe a config issue :-?). The simple patch is here: https://gac.udc.es/~emilioj/0001-Addressing-error-with-GCC-13-uint32_t-has-not-been-d.patch
As mentioned in https://gcc.gnu.org/gcc-13/porting_to.html#header-dep-changes, some headers that were typically included by some C++ Standard Library headers are not included now in GCC 13.
As a consequence, you need to explicitly include in the two files where 'uint32_t' is used to avoid a compilation error: 'uint32_t' has not been declared.
I tried to attach a patch along with this message, but github apparently does not allow to upload files in issue messages in private repos :-? (maybe a config issue :-?). The simple patch is here: https://gac.udc.es/~emilioj/0001-Addressing-error-with-GCC-13-uint32_t-has-not-been-d.patch