diff options
| author | Jørgen Kvalsvik <j@lambda.is> | 2024-04-15 14:14:26 +0200 |
|---|---|---|
| committer | Jørgen Kvalsvik <j@lambda.is> | 2024-04-15 15:34:42 +0200 |
| commit | 18e881ebd9f4b9429c652a81b8ceee84275bdade (patch) | |
| tree | 8ca3b295961d7aa35846cda1d1899c0a91718bf1 | |
| parent | 02cc8f3e68f9af96d484d9946ceaa9e3eed38151 (diff) | |
| download | gcc-18e881ebd9f4b9429c652a81b8ceee84275bdade.zip gcc-18e881ebd9f4b9429c652a81b8ceee84275bdade.tar.gz gcc-18e881ebd9f4b9429c652a81b8ceee84275bdade.tar.bz2 | |
Guard longjmp in test to not inf loop [PR114720]
Guard the longjmp to not infinitely loop. The longjmp (jump) function is
called unconditionally to make test flow simpler, but the jump
destination would return to a point in main that would call longjmp
again. The longjmp is really there to exercise the then-branch of
setjmp, to verify coverage is accurately counted in the presence of
complex edges.
PR gcov-profile/114720
gcc/testsuite/ChangeLog:
* gcc.misc-tests/gcov-22.c: Guard longjmp to not loop.
| -rw-r--r-- | gcc/testsuite/gcc.misc-tests/gcov-22.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.misc-tests/gcov-22.c b/gcc/testsuite/gcc.misc-tests/gcov-22.c index 641791a..7ca7846 100644 --- a/gcc/testsuite/gcc.misc-tests/gcov-22.c +++ b/gcc/testsuite/gcc.misc-tests/gcov-22.c @@ -87,7 +87,19 @@ setdest () void jump () { - longjmp (dest, 1); + /* Protect the longjmp so it will only be done once. The whole purpose of + this function is to help test conditions and instrumentation around + setjmp and its complex edges, as both branches should count towards + coverage, even when one is taken through longjmp. If the jump is not + guarded it can cause an infinite loop as setdest returns to a point in + main before jump (), leading to an infinite loop. See PR + gcov-profile/114720. */ + static int called_once = 0; + if (!called_once) /* conditions(suppress) */ + { + called_once = 1; + longjmp (dest, 1); + } } int |