Resolve warnings when compiling with GCC 12 and GCC 13.1 - #257

Resolve warnings when compiling with GCC 12 and GCC 13.1#257

rptb1 wants to merge 8 commits into

masterRavenbrook/mps:masterfrom

branch/2023-07-23/gcc-12-warningsRavenbrook/mps:branch/2023-07-23/gcc-12-warningsCopy head branch name to clipboard