llvm-project.git/compiler-rt/test/profile/Linux/coverage-statement-expression.cpp, branch main Unnamed repository; edit this file 'description' to name the repository. Reland [Coverage] Fix region termination for GNU statement expressions (#132222) 2025-03-21T15:59:01+00:00 Justin Cady desk@justincady.com 2025-03-21T15:59:01+00:00 954a3de7838a8c496ef1d1730127415b3e9786f9 Relands #130976 with adjustments to test requirements. Calls to __noreturn__ functions result in region termination for coverage mapping. But this creates incorrect coverage results when __noreturn__ functions (or other constructs that result in region termination) occur within [GNU statement expressions][1]. In this scenario an extra gap region is introduced within VisitStmt, such that if the following line does not introduce a new region it is unconditionally counted as uncovered. This change adjusts the mapping such that terminate statements within statement expressions do not propagate that termination state after the statement expression is processed. [1]: https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html Fixes #124296 
Relands #130976 with adjustments to test requirements.

Calls to __noreturn__ functions result in region termination for
coverage mapping. But this creates incorrect coverage results when
__noreturn__ functions (or other constructs that result in region
termination) occur within [GNU statement expressions][1].

In this scenario an extra gap region is introduced within VisitStmt,
such that if the following line does not introduce a new region it
is unconditionally counted as uncovered.

This change adjusts the mapping such that terminate statements
within statement expressions do not propagate that termination
state after the statement expression is processed.

[1]: https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html

Fixes #124296
 Revert "[Coverage] Fix region termination for GNU statement expressions" (#132095) 2025-03-19T20:48:34+00:00 Justin Cady desk@justincady.com 2025-03-19T20:48:34+00:00 bd2d8c0a7ee196cc60ab0d46d6fab416b1697ae1 Reverts llvm/llvm-project#130976 Breaks clang-cmake-x86_64-avx512-linux bot. 
Reverts llvm/llvm-project#130976

Breaks clang-cmake-x86_64-avx512-linux bot.
 [Coverage] Fix region termination for GNU statement expressions (#130976) 2025-03-19T20:22:26+00:00 Justin Cady desk@justincady.com 2025-03-19T20:22:26+00:00 0827e3aae6eb69c2a6fa842ffa780881feb45b5d Calls to __noreturn__ functions result in region termination for coverage mapping. But this creates incorrect coverage results when __noreturn__ functions (or other constructs that result in region termination) occur within [GNU statement expressions][1]. In this scenario an extra gap region is introduced within VisitStmt, such that if the following line does not introduce a new region it is unconditionally counted as uncovered. This change adjusts the mapping such that terminate statements within statement expressions do not propagate that termination state after the statement expression is processed. [1]: https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html Fixes #124296 
Calls to __noreturn__ functions result in region termination for
coverage mapping. But this creates incorrect coverage results when
__noreturn__ functions (or other constructs that result in region
termination) occur within [GNU statement expressions][1].

In this scenario an extra gap region is introduced within VisitStmt,
such that if the following line does not introduce a new region it
is unconditionally counted as uncovered.

This change adjusts the mapping such that terminate statements
within statement expressions do not propagate that termination
state after the statement expression is processed.

[1]: https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html

Fixes #124296