Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
rptb1 wants to merge 8 commits into
base: master
Choose a base branch
from
Open

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
9234ed3
Adding GCC 12 to build matrix to provoke warnings.
rptb1 Jul 23, 2023
a9407be
Adding GCC version output to check and record which exact version of …
rptb1 Jul 23, 2023
90a4d23
Second attempt at GCC version output. Variable expansion does not wo…
rptb1 Jul 23, 2023
8e117ae
Suppress uninitialized warning from GCC 12.2.
rptb1 Jul 23, 2023
af09351
Suppress (legitimate) dangling pointer warning from GCC 13.1 to resol…
rptb1 Jul 25, 2023
086545a
Suppress warning when GCC before 13.1 doesn't know about -Wdangling-p…
rptb1 Jul 25, 2023
795f441
Suppress warnings from GCC 11 and 12 about not knowing the warning to…
rptb1 Jul 25, 2023
6d4ac64
Restricting GCC-specific pragmas to build.gc to avoid warnings on bui…
rptb1 Jul 25, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion .github/workflows/build-and-test.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,16 +35,19 @@ jobs:
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
compiler: [clang, gcc]
compiler: [clang, gcc, gcc-12]
exclude:
- os: macos-latest
compiler: gcc
- os: macos-latest
compiler: gcc-12

runs-on: ${{ matrix.os }}

# See design.mps.tests.ci.run.posix.
steps:
- uses: actions/checkout@v3
- run: ${{ matrix.compiler }} --version
- run: CC=${{ matrix.compiler }} ./configure
- run: make
- run: make test
Expand Down
2 changes: 1 addition & 1 deletion code/arenavm.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -600,7 +600,7 @@ static Res VMArenaCreate(Arena *arenaReturn, ArgList args)
VM vm = &vmStruct;
Chunk chunk;
mps_arg_s arg;
char vmParams[VMParamSize];
char vmParams[VMParamSize] = {0}; /* suppress uninitialized warning from GCC 12.2 */

AVER(arenaReturn != NULL);
AVERT(ArgList, args);
Expand Down
24 changes: 22 additions & 2 deletions code/ss.c
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
/* ss.c: STACK SCANNING
*
* $Id$
* Copyright (c) 2001-2020 Ravenbrook Limited. See end of file for license.
* Copyright (c) 2001-2023 Ravenbrook Limited. See end of file for license.
*
* This scans the mutator's stack and fixes the registers that may
* contain roots. <design/stack-scan>.
Expand Down Expand Up @@ -30,12 +30,32 @@ SRCID(ss, "$Id$");
* stack by the caller below its other local data, so as long as
* it does not use something like alloca, the address of the argument
* is a hot stack pointer. <design/ss#.sol.stack.hot>.
*
*/

ATTRIBUTE_NOINLINE
void StackHot(void **stackOut)
{
/* GCC 13.1 legitimately complains about us leaking a dangling
pointer (-Wdangling-pointer) -- it's exactly what we are trying to
do. Rather that suppressing this warning globally, we use
Diagnostic Pragmas
<https://gcc.gnu.org/onlinedocs/gcc/Diagnostic-Pragmas.html> to
suppress the warning only here. */
#if CONFIG_BUILD_GC
# pragma GCC diagnostic push
/* Prevent GCC 11 and GCC 12 producing warnings that they don't know
about -Wdangling-pointer and -Wunknown-warning-option. */
# pragma GCC diagnostic ignored "-Wpragmas"
# pragma GCC diagnostic ignored "-Wunknown-warning-option"
# pragma GCC diagnostic ignored "-Wdangling-pointer"
#endif

*stackOut = &stackOut;

#if CONFIG_BUILD_GC
# pragma GCC diagnostic pop
#endif
}


Expand Down Expand Up @@ -71,7 +91,7 @@ Res StackScan(ScanState ss, void *stackCold,

/* C. COPYRIGHT AND LICENSE
*
* Copyright (C) 2001-2020 Ravenbrook Limited <https://www.ravenbrook.com/>.
* Copyright (C) 2001-2023 Ravenbrook Limited <https://www.ravenbrook.com/>.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are
Expand Down