glibc/setjmp/tst-setjmp.c
Joseph Myers 365f05c7a5 Fix implicit-fallthrough warnings in tst-setjmp.c.
Building the testsuite with -Wextra (together with
-Wno-cast-function-type -Wno-clobbered -Wno-expansion-to-defined
-Wno-missing-field-initializers -Wno-old-style-declaration
-Wno-shift-negative-value -Wno-sign-compare -Wno-type-limits
-Wno-unused-parameter, which reflect the set of -Wextra warnings for
which glibc itself is not currently clean on x86_64) showed up
implicit-fallthrough warnings in tst-setjmp.c.  Those warnings appear
to be false positives, arising from a function "jump" that calls
longjmp not itself being marked as noreturn; thus, this patch adds the
noreturn marking to that function to fix the warnings.

Tested for x86_64.

	* setjmp/tst-setjmp.c (jump): Use __attribute__ ((__noreturn__)).
2019-02-15 13:44:17 +00:00

121 lines
2.6 KiB
C

/* Copyright (C) 1991-2019 Free Software Foundation, Inc.
This file is part of the GNU C Library.
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
The GNU C Library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with the GNU C Library; if not, see
<http://www.gnu.org/licenses/>. */
#include <stdio.h>
#include <setjmp.h>
#include <stdlib.h>
static jmp_buf env;
static int last_value = -1, lose = 0;
static __attribute__ ((__noreturn__)) void
jump (int val)
{
longjmp (env, val);
}
static int
do_test (void)
{
int value;
value = setjmp (env);
if (value != last_value + 1)
{
fputs("Shouldn't have ", stdout);
lose = 1;
}
last_value = value;
switch (value)
{
case 0:
puts("Saved environment.");
jump (0);
default:
printf ("Jumped to %d.\n", value);
if (value < 10)
jump (value + 1);
}
if (!lose && value == 10)
{
/* Do a second test, this time without `setjmp' being a macro.
This is not required by ISO C but we have this for compatibility. */
#undef setjmp
extern int setjmp (jmp_buf);
last_value = -1;
lose = 0;
value = setjmp (env);
if (value != last_value + 1)
{
fputs("Shouldn't have ", stdout);
lose = 1;
}
last_value = value;
switch (value)
{
case 0:
puts("Saved environment.");
jump (0);
default:
printf ("Jumped to %d.\n", value);
if (value < 10)
jump (value + 1);
}
}
if (!lose && value == 10)
{
/* And again for the `_setjmp' function. */
#ifndef _setjmp
extern int _setjmp (jmp_buf);
#endif
last_value = -1;
lose = 0;
value = _setjmp (env);
if (value != last_value + 1)
{
fputs("Shouldn't have ", stdout);
lose = 1;
}
last_value = value;
switch (value)
{
case 0:
puts("Saved environment.");
jump (0);
default:
printf ("Jumped to %d.\n", value);
if (value < 10)
jump (value + 1);
}
}
if (lose || value != 10)
puts ("Test FAILED!");
else
puts ("Test succeeded!");
return lose ? EXIT_FAILURE : EXIT_SUCCESS;
}
#define TEST_FUNCTION do_test ()
#include "../test-skeleton.c"