rust/compiler/rustc_mir_transform/src/coverage/spans.rs, branch 1.80.1 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.80.1 2024-06-04T03:51:08+00:00 coverage: Remove hole-carving code from the main span refiner 2024-06-04T03:51:08+00:00 Zalathar Zalathar@users.noreply.github.com 2024-06-02T12:35:13+00:00 urn:sha1:c57a1d1baa0a2fc4328f81be66dc7b518c1953bb Now that hole spans are handled by a separate earlier pass, this code never sees hole spans, and therefore doesn't need to deal with them. coverage: Use hole spans to carve up coverage spans into separate buckets 2024-06-04T03:51:08+00:00 Zalathar Zalathar@users.noreply.github.com 2024-06-03T07:15:50+00:00 urn:sha1:6d1557f268f3dd5e7767ffdf7568856f659a3d57 This performs the same task as the hole-carving code in the main span refiner, but in a separate earlier pass. coverage: Return a nested vector from initial span extraction 2024-06-04T03:11:45+00:00 Zalathar Zalathar@users.noreply.github.com 2024-06-03T05:27:30+00:00 urn:sha1:9c931c01f70d12d7296fead28b1c3dc417bb9372 This will allow the span extractor to produce multiple separate buckets, instead of just one flat list of spans. Remove `extern crate rustc_middle` from `rustc_mir_transform`. 2024-05-12T22:20:18+00:00 Nicholas Nethercote n.nethercote@gmail.com 2024-05-08T09:46:29+00:00 urn:sha1:d49d4ae192d4e5dd3504de320d4ec116a672f437 coverage: Flatten `BcbMappingKind` into `mappings::CodeMapping` 2024-05-04T01:26:05+00:00 Zalathar Zalathar@users.noreply.github.com 2024-05-02T04:18:22+00:00 urn:sha1:76d8d01604282316110377162c941499a931d7bf Now that branch and MC/DC mappings have been split out into separate types and vectors, this enum is no longer needed, since it only represents ordinary "code" regions. (We can revisit this decision if we ever add support for other region kinds, such as skipped regions or expansion regions. But at that point, we might just add new structs/vectors for those kinds as well.) coverage: Split off `mappings.rs` from `spans.rs` and `from_mir.rs` 2024-04-30T03:17:21+00:00 Zalathar Zalathar@users.noreply.github.com 2024-04-29T12:25:09+00:00 urn:sha1:ba87e5bb3e2d6f086d0f5a6155fffc127be0da4e coverage: Prepare to split `spans.rs` into two files 2024-04-30T03:16:58+00:00 Zalathar Zalathar@users.noreply.github.com 2024-04-29T12:25:09+00:00 urn:sha1:7d1c6af3dc408c1f9811e6bd576804d544bfa90d mcdc-coverage: Add decision_depth field in structs 2024-04-29T09:13:40+00:00 Dorian Péron peron@adacore.com 2024-04-08T14:44:25+00:00 urn:sha1:ae8c023983247044838a1a8b5f6fb5dd606fa68d Add decision_depth field to TVBitmapUpdate/CondBitmapUpdate statements Add decision_depth field to BcbMappingKinds MCDCBranch and MCDCDecision Add decision_depth field to MCDCBranchSpan and MCDCDecisionSpan coverage: Separate branch pairs from other mapping kinds 2024-04-22T11:55:34+00:00 Zalathar Zalathar@users.noreply.github.com 2024-04-21T03:21:58+00:00 urn:sha1:2b6adb06fb8307f19bd42d2fce3ad338dc6112ef This clears the way for larger changes to how branches are handled by the coverage instrumentor, in order to support branch coverage for more language constructs. coverage: Detach MC/DC branch spans from regular branch spans 2024-04-22T11:55:33+00:00 Zalathar Zalathar@users.noreply.github.com 2024-04-21T02:06:03+00:00 urn:sha1:97bf5536827ea7a1ba6b7cf856dd2b22184d2527 MC/DC's reliance on the existing branch coverage types is making it much harder to improve branch coverage.