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 🔒
  For each BCB node or BCB edge that has an associated coverage counter, inject any necessary coverage statements into MIR.
• inject_edge_counter_basic_block 🔒
  Given two basic blocks that have a control-flow edge between them, creates and returns a new block that sits between those blocks.
• 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 🔒