KJ16609/gcc-reflection
1
0
Fork 0
mirror of https://forge.sourceware.org/marek/gcc.git synced 2026-02-22 12:00:11 -05:00
Code Issues Packages Projects Releases Wiki Activity

middle-end/114681 - condition coverage and inlining

Browse Source 
When inlining a gcond it can map to multiple stmts, esp. with
non-call EH.  The following makes sure to pick up the remapped
condition when dealing with condition coverage.

	PR middle-end/114681
	* tree-inline.cc (copy_bb): Key on the remapped stmt
	to identify gconds to have condition coverage data remapped.

	* gcc.misc-tests/gcov-pr114681.c: New testcase.
This commit is contained in:
Richard Biener
2024-04-11 08:47:19 +02:00
parent cb46aca0a0
commit 52b63100b1
2 changed files with 19 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
gcc/testsuite/gcc.misc-tests/gcov-pr114681.c Normal file
View File

@@ -0,0 +1,18 @@
/* { dg-do compile } */
/* { dg-options "-O -fnon-call-exceptions -fno-exceptions -fcondition-coverage" } */
float f, g;
static void
bar ()
{
if (g < f)
for (;;)
;
}
void
foo ()
{
bar ();
}

2
gcc/tree-inline.cc
View File

@@ -2090,7 +2090,7 @@ copy_bb (copy_body_data *id, basic_block bb,
/* If -fcondition-coverage is used, register the inlined conditions
in the cond->expression mapping of the caller. The expression tag
is shifted conditions from the two bodies are not mixed. */
if (id->src_cfun->cond_uids && is_a <gcond*> (orig_stmt))
if (id->src_cfun->cond_uids && is_a <gcond*> (stmt))
{
gcond *orig_cond = as_a <gcond*> (orig_stmt);
gcond *cond = as_a <gcond*> (stmt);