diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-05-14 13:51:24 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-05-14 13:58:40 +1000 |
| commit | d01df6f9aadf58a00357bd89b8fc25a44822ba77 (patch) | |
| tree | 4b2aa4b799457fe91c953b5462682577b793c54f /tests/coverage/overflow.cov-map | |
| parent | a68bb5e176ff7f250c0af00467a6793952be7489 (diff) | |
| download | rust-d01df6f9aadf58a00357bd89b8fc25a44822ba77.tar.gz rust-d01df6f9aadf58a00357bd89b8fc25a44822ba77.zip | |
coverage: Simplify counter expressions using simple algebra
Some of these cases currently don't occur in practice, but are included for completeness, and to avoid having to add them later as branch coverage and MC/DC coverage start building more complex expressions.
Diffstat (limited to 'tests/coverage/overflow.cov-map')
| -rw-r--r-- | tests/coverage/overflow.cov-map | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tests/coverage/overflow.cov-map b/tests/coverage/overflow.cov-map index 39a5c05f879..cb31f3d1f3e 100644 --- a/tests/coverage/overflow.cov-map +++ b/tests/coverage/overflow.cov-map @@ -27,17 +27,15 @@ Number of file 0 mappings: 9 - Code(Counter(4)) at (prev + 2, 5) to (start + 1, 2) Function name: overflow::might_overflow -Raw bytes (28): 0x[01, 01, 02, 01, 05, 05, 02, 04, 01, 05, 01, 01, 12, 05, 01, 13, 02, 06, 02, 02, 06, 00, 07, 07, 01, 09, 05, 02] +Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 05, 01, 01, 12, 05, 01, 13, 02, 06, 02, 02, 06, 00, 07, 01, 01, 09, 05, 02] Number of files: 1 - file 0 => global file 1 -Number of expressions: 2 +Number of expressions: 1 - expression 0 operands: lhs = Counter(0), rhs = Counter(1) -- expression 1 operands: lhs = Counter(1), rhs = Expression(0, Sub) Number of file 0 mappings: 4 - Code(Counter(0)) at (prev + 5, 1) to (start + 1, 18) - Code(Counter(1)) at (prev + 1, 19) to (start + 2, 6) - Code(Expression(0, Sub)) at (prev + 2, 6) to (start + 0, 7) = (c0 - c1) -- Code(Expression(1, Add)) at (prev + 1, 9) to (start + 5, 2) - = (c1 + (c0 - c1)) +- Code(Counter(0)) at (prev + 1, 9) to (start + 5, 2) |