shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
llvm-project/clang/test/CoverageMapping
History
int-zjt f4cf610159
[Coverage] Add gap region between binary operator '&& and ||' and RHS (#149085) 
## Issue Summary
We identified an inaccuracy in line coverage reporting when short-circuit evaluation occurs in multi-line conditional expressions.

Specifically:
1. Un-executed conditions following line breaks may be incorrectly marked as covered
(e.g., conditionB in a non-executed && chain shows coverage)
```
    1|       |#include <iostream>
    2|       |
    3|      1|int main() {
    4|      1|    bool conditionA = false;
    5|      1|    bool conditionB = true;
    6|      1|    if (conditionA &&
    7|      1|        conditionB) {
    8|      0|        std::cout << "IF-THEN" << std::endl;
    9|      0|    }
   10|      1|    return 0;
   11|      1|}
```
2. Inconsistent coverage reporting across un-executed conditions
*(adjacent un-executed conditions may show 1 vs 0 line coverage)*
```
    1|       |#include <iostream>
    2|       |
    3|      1|int main() {
    4|      1|    bool conditionA = false;
    5|      1|    bool conditionB = true;
    6|      1|    bool conditionC = true;
    7|      1|    if (conditionA &&
    8|      1|        (conditionB ||
    9|      0|        conditionC)) {
   10|      0|        std::cout << "IF-THEN" << std::endl;
   11|      0|    }
   12|      1|    return 0;
   13|      1|}
```

This is resolved by inserting a GapRegion when mapping logical operators to isolate coverage contexts around short-circuit evaluation.
2025-08-08 12:50:52 -05:00
..
Inputs
…
abspath.cpp
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
block-storage-starts-region.m
…
branch-constfolded.cpp
[Coverage] Introduce "partial fold" on BranchRegion (#112694)
2024-10-20 12:30:35 +09:00
branch-logical-mixed.cpp
[Coverage] Add support for Branch Coverage in LLVM Source-Based Code Coverage
2021-01-05 09:51:51 -06:00
branch-macros.cpp
[Coverage] Fix test failures from commit rG9f2967bcfe2f
2021-01-05 13:35:52 -06:00
branch-mincounters.cpp
[Coverage][clang] Enable MC/DC Support in LLVM Source-based Code Coverage (3/3)
2024-01-04 12:29:18 -06:00
branch-templates.cpp
…
break.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
builtinmacro.c
[Coverage][Expansion] handle nested macros in scratch space (#89869)
2024-05-24 12:06:43 +09:00
casts.c
…
classtemplate.cpp
Revert "Revert "[Coverage] Emit gap region between statements if first statements contains terminate statements.""
2021-03-04 11:52:43 -08:00
comment-in-macro.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
comment.cpp
[Coverage] Adjust skipped regions only if {Prev,Next}TokLoc is in the same file as regions' {start, end}Loc
2020-08-18 13:26:19 -07:00
conditional-operator.c
[clang][CodeCoverage] Fix conditional-operator test (#82192)
2024-02-18 15:11:08 -08:00
continue.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
control-flow-macro.c
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
coroutine.cpp
…
ctor.cpp
[Coverage] Add coverage for constructor member initializers. (#66441)
2023-09-15 17:06:04 -04:00
decl.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
decomposition.cpp
…
default-method.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
empty-destructor.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
header.cpp
…
if.cpp
[Coverage] Introduce "partial fold" on BranchRegion (#112694)
2024-10-20 12:30:35 +09:00
implicit-def-in-macro.m
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
include-macros.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
includehell.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
ir.c
[Clang] Remove some explicit -opaque-pointers options in tests (NFC)
2023-06-08 17:41:27 +02:00
label.cpp
Revert "Revert "[Coverage] Emit gap region between statements if first statements contains terminate statements.""
2021-03-04 11:52:43 -08:00
lambda.cpp
…
logical.cpp
[Coverage] Add gap region between binary operator '&& and ||' and RHS (#149085)
2025-08-08 12:50:52 -05:00
loopmacro.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
loops.cpp
[Coverage] Add support for Branch Coverage in LLVM Source-Based Code Coverage
2021-01-05 09:51:51 -06:00
macro-expansion.c
[Coverage] Introduce "partial fold" on BranchRegion (#112694)
2024-10-20 12:30:35 +09:00
macro-expressions.cpp
…
macro-stringize-twice.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
macroception.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
macroparams2.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
macroparams.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
macros.c
[Coverage][Expansion] handle nested macros in scratch space (#89869)
2024-05-24 12:06:43 +09:00
macroscopes.cpp
[Coverage] Emit gap region after conditions when macro is present.
2021-02-18 11:41:04 -08:00
mcdc-class.cpp
Reapply: [MC/DC][Coverage] Loosen the limit of NumConds from 6 (#82448)
2024-06-14 19:31:56 +09:00
mcdc-error-conditions.cpp
Reapply: [MC/DC][Coverage] Loosen the limit of NumConds from 6 (#82448)
2024-06-14 19:31:56 +09:00
mcdc-logical-scalar-ids.cpp
Reapply: [MC/DC][Coverage] Loosen the limit of NumConds from 6 (#82448)
2024-06-14 19:31:56 +09:00
mcdc-logical-stmt-ids-all.cpp
Reapply: [MC/DC][Coverage] Loosen the limit of NumConds from 6 (#82448)
2024-06-14 19:31:56 +09:00
mcdc-logical-stmt-ids.cpp
Reapply: [MC/DC][Coverage] Loosen the limit of NumConds from 6 (#82448)
2024-06-14 19:31:56 +09:00
mcdc-nested-expr.cpp
[MC/DC] Update CoverageMapping tests (#125404)
2025-03-01 15:58:39 +09:00
mcdc-scratch-space.c
[Coverage] Introduce "partial fold" on BranchRegion (#112694)
2024-10-20 12:30:35 +09:00
mcdc-system-headers.cpp
[Coverage] Introduce "partial fold" on BranchRegion (#112694)
2024-10-20 12:30:35 +09:00
md.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
moremacros.c
[Coverage] Emit gap region after conditions when macro is present.
2021-02-18 11:41:04 -08:00
nestedclass.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
objc.m
…
openmp.c
[OpenMP] Prefix outlined and reduction func names with original func's name
2023-04-19 23:00:26 +03:00
pr32679.cpp
…
preprocessor.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
return.c
…
single-byte-counters.cpp
clang/test/CoverageMapping/single-byte-counters.cpp: Align to the final form to fill linefeeds.
2024-12-28 17:47:09 +09:00
statement-expression.c
[clang][CoverageMapping] do not emit a gap region when either end doesn't have valid source locations (#89564)
2024-04-22 12:37:38 -05:00
strong_order.cpp
[clang] Use -std=c++23 instead of -std=c++2b
2023-05-04 19:19:52 +02:00
switch.cpp
[Clang] [NFC] Fix unintended -Wreturn-type warnings everywhere in the test suite (#123464)
2025-01-18 19:16:33 +01:00
switchmacro.c
[Coverage] Resurrect Branch:FalseCnt in SwitchStmt that was pruned in #112694 (#120418)
2024-12-19 08:41:07 +09:00
system_macro.cpp
[Coverage] Suppress covmap and profdata for system headers. (#97952)
2024-07-10 17:11:12 +09:00
templates.cpp
[clang][c++20] Fix code coverage mapping crash with generalized NTTPs (#85837)
2024-05-24 13:04:18 -07:00
terminate-statements.cpp
[Coverage] Fix mapping for do-while loops with terminating statements (#139777)
2025-05-19 15:49:26 -04:00
test.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
trycatch.cpp
Revert "Revert "[Coverage] Emit gap region between statements if first statements contains terminate statements.""
2021-03-04 11:52:43 -08:00
trymacro.cpp
[Coverage] Add empty line regions to SkippedRegions
2020-09-21 12:42:53 -07:00
unreachable-macro.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
unused_function_no_runtime_hook.cpp
…
unused_function.cpp
…
unused_names.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00
while.c
Use functions with prototypes when appropriate; NFC
2022-02-09 09:11:49 -05:00