Module coverage

Modules

counters 🔒

graph 🔒

mappings 🔒

query 🔒

spans 🔒

unexpand 🔒

Structs

ExtractedHirInfo 🔒

Function information extracted from HIR by the coverage instrumentor.

InstrumentCoverage 🔒

Inserts StatementKind::Coverage statements that either instrument the binary with injected counters, via intrinsic llvm.instrprof.increment, and/or inject metadata used during codegen to construct the coverage map.

Functions

create_mappings 🔒

For each coverage span extracted from MIR, create a corresponding mapping.

extract_hir_info 🔒

extract_hole_spans_from_hir 🔒

hash_mir_source 🔒

inject_coverage_statements 🔒

Inject any necessary coverage statements into MIR, so that they influence codegen.

inject_mcdc_statements 🔒

For each conditions inject statements to update condition bitmap after it has been evaluated. For each decision inject statements to update test vector bitmap after it has been evaluated.

inject_statement 🔒

instrument_function_for_coverage 🔒