mirror of
https://github.com/rust-lang/rust.git
synced 2025-01-26 14:43:24 +00:00
Rollup merge of #76313 - richkadel:mir-spanview-2, r=wesleywiser
Improved the MIR spanview output * Adds missing "tail" spans (spans that continue beyond the end of overlapping spans) * Adds a caret to highlight empty spans associated with MIR elements that have a position, but otherwise would not be visible. * Adds visual pointing brackets at the beginning and end of each span <img width="590" alt="Screen Shot 2020-09-03 at 8 38 08 PM" src="https://user-images.githubusercontent.com/3827298/92202571-25510c00-ee34-11ea-89bc-89eea939476d.png"> <img width="1061" alt="Screen Shot 2020-09-03 at 8 41 04 PM" src="https://user-images.githubusercontent.com/3827298/92202629-49145200-ee34-11ea-8fda-fc6e62c80736.png"> <img width="1113" alt="Screen Shot 2020-09-06 at 5 42 57 PM" src="https://user-images.githubusercontent.com/3827298/92339198-ca085f00-f069-11ea-96d1-c01ced50e2ba.png"> <img width="1692" alt="Screen Shot 2020-09-06 at 5 45 54 PM" src="https://user-images.githubusercontent.com/3827298/92339209-d4c2f400-f069-11ea-94c0-b4d36c200878.png"> r? @tmandry FYI: @wesleywiser
This commit is contained in:
Tyler Mandry
GitHub
commit
bab09684b4
@ -309,7 +309,7 @@ impl<'a, 'tcx> Instrumentor<'a, 'tcx> {
|
||||
for coverage_region in coverage_regions {
|
||||
span_viewables.push(SpanViewable {
|
||||
span: coverage_region.span,
|
||||
title: format!("{}", coverage_region.blocks[0].index()),
|
||||
id: format!("{}", coverage_region.blocks[0].index()),
|
||||
tooltip: self.make_tooltip_text(coverage_region),
|
||||
});
|
||||
}
|
||||
|
||||
@ -3,13 +3,16 @@ use rustc_middle::hir;
|
||||
use rustc_middle::mir::*;
|
||||
use rustc_middle::ty::TyCtxt;
|
||||
use rustc_session::config::MirSpanview;
|
||||
use rustc_span::{BytePos, Pos, Span};
|
||||
use rustc_span::{BytePos, Pos, Span, SyntaxContext};
|
||||
|
||||
use std::cmp;
|
||||
use std::io::{self, Write};
|
||||
use std::iter::Peekable;
|
||||
|
||||
pub const TOOLTIP_INDENT: &str = " ";
|
||||
|
||||
const CARET: char = '\u{2038}'; // Unicode `CARET`
|
||||
const ANNOTATION_LEFT_BRACKET: char = '\u{298a}'; // Unicode `Z NOTATION RIGHT BINDING BRACKET
|
||||
const ANNOTATION_RIGHT_BRACKET: char = '\u{2989}'; // Unicode `Z NOTATION LEFT BINDING BRACKET`
|
||||
const NEW_LINE_SPAN: &str = "</span>\n<span class=\"line\">";
|
||||
const HEADER: &str = r#"<!DOCTYPE html>
|
||||
<html>
|
||||
@ -80,7 +83,7 @@ const FOOTER: &str = r#"
|
||||
/// Metadata to highlight the span of a MIR BasicBlock, Statement, or Terminator.
|
||||
pub struct SpanViewable {
|
||||
pub span: Span,
|
||||
pub title: String,
|
||||
pub id: String,
|
||||
pub tooltip: String,
|
||||
}
|
||||
|
||||
@ -139,16 +142,22 @@ where
|
||||
W: Write,
|
||||
{
|
||||
let fn_span = fn_span(tcx, def_id);
|
||||
writeln!(w, "{}", HEADER)?;
|
||||
let mut next_pos = fn_span.lo();
|
||||
let mut from_pos = fn_span.lo();
|
||||
let end_pos = fn_span.hi();
|
||||
let source_map = tcx.sess.source_map();
|
||||
let start = source_map.lookup_char_pos(next_pos);
|
||||
let start = source_map.lookup_char_pos(from_pos);
|
||||
let indent_to_initial_start_col = " ".repeat(start.col.to_usize());
|
||||
debug!(
|
||||
"fn_span source is:\n{}{}",
|
||||
indent_to_initial_start_col,
|
||||
source_map.span_to_snippet(fn_span).expect("function should have printable source")
|
||||
);
|
||||
writeln!(w, "{}", HEADER)?;
|
||||
write!(
|
||||
w,
|
||||
r#"<div class="code" style="counter-reset: line {}"><span class="line">{}"#,
|
||||
start.line - 1,
|
||||
" ".repeat(start.col.to_usize())
|
||||
indent_to_initial_start_col,
|
||||
)?;
|
||||
span_viewables.sort_unstable_by(|a, b| {
|
||||
let a = a.span;
|
||||
@ -163,14 +172,43 @@ where
|
||||
}
|
||||
.unwrap()
|
||||
});
|
||||
let mut ordered_span_viewables = span_viewables.iter().peekable();
|
||||
let mut ordered_viewables = &span_viewables[..];
|
||||
const LOWEST_VIEWABLE_LAYER: usize = 1;
|
||||
let mut alt = false;
|
||||
while ordered_span_viewables.peek().is_some() {
|
||||
next_pos = write_span_viewables(tcx, next_pos, &mut ordered_span_viewables, false, 1, w)?;
|
||||
alt = !alt;
|
||||
while ordered_viewables.len() > 0 {
|
||||
debug!(
|
||||
"calling write_next_viewable with from_pos={}, end_pos={}, and viewables len={}",
|
||||
from_pos.to_usize(),
|
||||
end_pos.to_usize(),
|
||||
ordered_viewables.len()
|
||||
);
|
||||
let (next_from_pos, next_ordered_viewables) = write_next_viewable_with_overlaps(
|
||||
tcx,
|
||||
from_pos,
|
||||
end_pos,
|
||||
ordered_viewables,
|
||||
alt,
|
||||
LOWEST_VIEWABLE_LAYER,
|
||||
w,
|
||||
)?;
|
||||
debug!(
|
||||
"DONE calling write_next_viewable, with new from_pos={}, \
|
||||
and remaining viewables len={}",
|
||||
next_from_pos.to_usize(),
|
||||
next_ordered_viewables.len()
|
||||
);
|
||||
assert!(
|
||||
from_pos != next_from_pos || ordered_viewables.len() != next_ordered_viewables.len(),
|
||||
"write_next_viewable_with_overlaps() must make a state change"
|
||||
);
|
||||
from_pos = next_from_pos;
|
||||
if next_ordered_viewables.len() != ordered_viewables.len() {
|
||||
ordered_viewables = next_ordered_viewables;
|
||||
alt = !alt;
|
||||
}
|
||||
}
|
||||
if next_pos < end_pos {
|
||||
write_coverage_gap(tcx, next_pos, end_pos, w)?;
|
||||
if from_pos < end_pos {
|
||||
write_coverage_gap(tcx, from_pos, end_pos, w)?;
|
||||
}
|
||||
write!(w, r#"</span></div>"#)?;
|
||||
writeln!(w, "{}", FOOTER)?;
|
||||
@ -233,9 +271,9 @@ fn statement_span_viewable<'tcx>(
|
||||
if !body_span.contains(span) {
|
||||
return None;
|
||||
}
|
||||
let title = format!("bb{}[{}]", bb.index(), i);
|
||||
let tooltip = tooltip(tcx, &title, span, vec![statement.clone()], &None);
|
||||
Some(SpanViewable { span, title, tooltip })
|
||||
let id = format!("{}[{}]", bb.index(), i);
|
||||
let tooltip = tooltip(tcx, &id, span, vec![statement.clone()], &None);
|
||||
Some(SpanViewable { span, id, tooltip })
|
||||
}
|
||||
|
||||
fn terminator_span_viewable<'tcx>(
|
||||
@ -249,9 +287,9 @@ fn terminator_span_viewable<'tcx>(
|
||||
if !body_span.contains(span) {
|
||||
return None;
|
||||
}
|
||||
let title = format!("bb{}`{}`", bb.index(), terminator_kind_name(term));
|
||||
let tooltip = tooltip(tcx, &title, span, vec![], &data.terminator);
|
||||
Some(SpanViewable { span, title, tooltip })
|
||||
let id = format!("{}:{}", bb.index(), terminator_kind_name(term));
|
||||
let tooltip = tooltip(tcx, &id, span, vec![], &data.terminator);
|
||||
Some(SpanViewable { span, id, tooltip })
|
||||
}
|
||||
|
||||
fn block_span_viewable<'tcx>(
|
||||
@ -264,16 +302,16 @@ fn block_span_viewable<'tcx>(
|
||||
if !body_span.contains(span) {
|
||||
return None;
|
||||
}
|
||||
let title = format!("bb{}", bb.index());
|
||||
let tooltip = tooltip(tcx, &title, span, data.statements.clone(), &data.terminator);
|
||||
Some(SpanViewable { span, title, tooltip })
|
||||
let id = format!("{}", bb.index());
|
||||
let tooltip = tooltip(tcx, &id, span, data.statements.clone(), &data.terminator);
|
||||
Some(SpanViewable { span, id, tooltip })
|
||||
}
|
||||
|
||||
fn compute_block_span<'tcx>(data: &BasicBlockData<'tcx>, body_span: Span) -> Span {
|
||||
let mut span = data.terminator().source_info.span;
|
||||
for statement_span in data.statements.iter().map(|statement| statement.source_info.span) {
|
||||
// Only combine Spans from the function's body_span.
|
||||
if body_span.contains(statement_span) {
|
||||
// Only combine Spans from the root context, and within the function's body_span.
|
||||
if statement_span.ctxt() == SyntaxContext::root() && body_span.contains(statement_span) {
|
||||
span = span.to(statement_span);
|
||||
}
|
||||
}
|
||||
@ -286,100 +324,217 @@ fn compute_block_span<'tcx>(data: &BasicBlockData<'tcx>, body_span: Span) -> Spa
|
||||
/// The `layer` is incremented for each overlap, and the `alt` bool alternates between true
|
||||
/// and false, for each adjacent non-overlapping span. Source code between the spans (code
|
||||
/// that is not in any coverage region) has neutral styling.
|
||||
fn write_span_viewables<'tcx, 'b, W>(
|
||||
fn write_next_viewable_with_overlaps<'tcx, 'b, W>(
|
||||
tcx: TyCtxt<'tcx>,
|
||||
next_pos: BytePos,
|
||||
ordered_span_viewables: &mut Peekable<impl Iterator<Item = &'b SpanViewable>>,
|
||||
mut from_pos: BytePos,
|
||||
mut to_pos: BytePos,
|
||||
ordered_viewables: &'b [SpanViewable],
|
||||
alt: bool,
|
||||
layer: usize,
|
||||
w: &mut W,
|
||||
) -> io::Result<BytePos>
|
||||
) -> io::Result<(BytePos, &'b [SpanViewable])>
|
||||
where
|
||||
W: Write,
|
||||
{
|
||||
let span_viewable =
|
||||
ordered_span_viewables.next().expect("ordered_span_viewables should have some");
|
||||
if next_pos < span_viewable.span.lo() {
|
||||
write_coverage_gap(tcx, next_pos, span_viewable.span.lo(), w)?;
|
||||
}
|
||||
let mut remaining_span = span_viewable.span;
|
||||
let mut subalt = false;
|
||||
loop {
|
||||
let next_span_viewable = match ordered_span_viewables.peek() {
|
||||
None => break,
|
||||
Some(span_viewable) => *span_viewable,
|
||||
};
|
||||
if !next_span_viewable.span.overlaps(remaining_span) {
|
||||
break;
|
||||
let debug_indent = " ".repeat(layer);
|
||||
let (viewable, mut remaining_viewables) =
|
||||
ordered_viewables.split_first().expect("ordered_viewables should have some");
|
||||
|
||||
if from_pos < viewable.span.lo() {
|
||||
debug!(
|
||||
"{}advance from_pos to next SpanViewable (from from_pos={} to viewable.span.lo()={} \
|
||||
of {:?}), with to_pos={}",
|
||||
debug_indent,
|
||||
from_pos.to_usize(),
|
||||
viewable.span.lo().to_usize(),
|
||||
viewable.span,
|
||||
to_pos.to_usize()
|
||||
);
|
||||
let hi = cmp::min(viewable.span.lo(), to_pos);
|
||||
write_coverage_gap(tcx, from_pos, hi, w)?;
|
||||
from_pos = hi;
|
||||
if from_pos < viewable.span.lo() {
|
||||
debug!(
|
||||
"{}EARLY RETURN: stopped before getting to next SpanViewable, at {}",
|
||||
debug_indent,
|
||||
from_pos.to_usize()
|
||||
);
|
||||
return Ok((from_pos, ordered_viewables));
|
||||
}
|
||||
write_span(
|
||||
}
|
||||
|
||||
if from_pos < viewable.span.hi() {
|
||||
// Set to_pos to the end of this `viewable` to ensure the recursive calls stop writing
|
||||
// with room to print the tail.
|
||||
to_pos = cmp::min(viewable.span.hi(), to_pos);
|
||||
debug!(
|
||||
"{}update to_pos (if not closer) to viewable.span.hi()={}; to_pos is now {}",
|
||||
debug_indent,
|
||||
viewable.span.hi().to_usize(),
|
||||
to_pos.to_usize()
|
||||
);
|
||||
}
|
||||
|
||||
let mut subalt = false;
|
||||
while remaining_viewables.len() > 0 && remaining_viewables[0].span.overlaps(viewable.span) {
|
||||
let overlapping_viewable = &remaining_viewables[0];
|
||||
debug!("{}overlapping_viewable.span={:?}", debug_indent, overlapping_viewable.span);
|
||||
|
||||
let span =
|
||||
trim_span(viewable.span, from_pos, cmp::min(overlapping_viewable.span.lo(), to_pos));
|
||||
let mut some_html_snippet = if from_pos <= viewable.span.hi() || viewable.span.is_empty() {
|
||||
// `viewable` is not yet fully rendered, so start writing the span, up to either the
|
||||
// `to_pos` or the next `overlapping_viewable`, whichever comes first.
|
||||
debug!(
|
||||
"{}make html_snippet (may not write it if early exit) for partial span {:?} \
|
||||
of viewable.span {:?}",
|
||||
debug_indent, span, viewable.span
|
||||
);
|
||||
from_pos = span.hi();
|
||||
make_html_snippet(tcx, span, Some(&viewable))
|
||||
} else {
|
||||
None
|
||||
};
|
||||
|
||||
// Defer writing the HTML snippet (until after early return checks) ONLY for empty spans.
|
||||
// An empty Span with Some(html_snippet) is probably a tail marker. If there is an early
|
||||
// exit, there should be another opportunity to write the tail marker.
|
||||
if !span.is_empty() {
|
||||
if let Some(ref html_snippet) = some_html_snippet {
|
||||
debug!(
|
||||
"{}write html_snippet for that partial span of viewable.span {:?}",
|
||||
debug_indent, viewable.span
|
||||
);
|
||||
write_span(html_snippet, &viewable.tooltip, alt, layer, w)?;
|
||||
}
|
||||
some_html_snippet = None;
|
||||
}
|
||||
|
||||
if from_pos < overlapping_viewable.span.lo() {
|
||||
debug!(
|
||||
"{}EARLY RETURN: from_pos={} has not yet reached the \
|
||||
overlapping_viewable.span {:?}",
|
||||
debug_indent,
|
||||
from_pos.to_usize(),
|
||||
overlapping_viewable.span
|
||||
);
|
||||
// must have reached `to_pos` before reaching the start of the
|
||||
// `overlapping_viewable.span`
|
||||
return Ok((from_pos, ordered_viewables));
|
||||
}
|
||||
|
||||
if from_pos == to_pos
|
||||
&& !(from_pos == overlapping_viewable.span.lo() && overlapping_viewable.span.is_empty())
|
||||
{
|
||||
debug!(
|
||||
"{}EARLY RETURN: from_pos=to_pos={} and overlapping_viewable.span {:?} is not \
|
||||
empty, or not from_pos",
|
||||
debug_indent,
|
||||
to_pos.to_usize(),
|
||||
overlapping_viewable.span
|
||||
);
|
||||
// `to_pos` must have occurred before the overlapping viewable. Return
|
||||
// `ordered_viewables` so we can continue rendering the `viewable`, from after the
|
||||
// `to_pos`.
|
||||
return Ok((from_pos, ordered_viewables));
|
||||
}
|
||||
|
||||
if let Some(ref html_snippet) = some_html_snippet {
|
||||
debug!(
|
||||
"{}write html_snippet for that partial span of viewable.span {:?}",
|
||||
debug_indent, viewable.span
|
||||
);
|
||||
write_span(html_snippet, &viewable.tooltip, alt, layer, w)?;
|
||||
}
|
||||
|
||||
debug!(
|
||||
"{}recursively calling write_next_viewable with from_pos={}, to_pos={}, \
|
||||
and viewables len={}",
|
||||
debug_indent,
|
||||
from_pos.to_usize(),
|
||||
to_pos.to_usize(),
|
||||
remaining_viewables.len()
|
||||
);
|
||||
// Write the overlaps (and the overlaps' overlaps, if any) up to `to_pos`.
|
||||
let (next_from_pos, next_remaining_viewables) = write_next_viewable_with_overlaps(
|
||||
tcx,
|
||||
remaining_span.until(next_span_viewable.span),
|
||||
Some(span_viewable),
|
||||
alt,
|
||||
layer,
|
||||
w,
|
||||
)?;
|
||||
let next_pos = write_span_viewables(
|
||||
tcx,
|
||||
next_span_viewable.span.lo(),
|
||||
ordered_span_viewables,
|
||||
from_pos,
|
||||
to_pos,
|
||||
&remaining_viewables,
|
||||
subalt,
|
||||
layer + 1,
|
||||
w,
|
||||
)?;
|
||||
subalt = !subalt;
|
||||
if next_pos < remaining_span.hi() {
|
||||
remaining_span = remaining_span.with_lo(next_pos);
|
||||
} else {
|
||||
return Ok(next_pos);
|
||||
debug!(
|
||||
"{}DONE recursively calling write_next_viewable, with new from_pos={}, and remaining \
|
||||
viewables len={}",
|
||||
debug_indent,
|
||||
next_from_pos.to_usize(),
|
||||
next_remaining_viewables.len()
|
||||
);
|
||||
assert!(
|
||||
from_pos != next_from_pos
|
||||
|| remaining_viewables.len() != next_remaining_viewables.len(),
|
||||
"write_next_viewable_with_overlaps() must make a state change"
|
||||
);
|
||||
from_pos = next_from_pos;
|
||||
if next_remaining_viewables.len() != remaining_viewables.len() {
|
||||
remaining_viewables = next_remaining_viewables;
|
||||
subalt = !subalt;
|
||||
}
|
||||
}
|
||||
write_span(tcx, remaining_span, Some(span_viewable), alt, layer, w)
|
||||
if from_pos <= viewable.span.hi() {
|
||||
let span = trim_span(viewable.span, from_pos, to_pos);
|
||||
debug!(
|
||||
"{}After overlaps, writing (end span?) {:?} of viewable.span {:?}",
|
||||
debug_indent, span, viewable.span
|
||||
);
|
||||
if let Some(ref html_snippet) = make_html_snippet(tcx, span, Some(&viewable)) {
|
||||
from_pos = span.hi();
|
||||
write_span(html_snippet, &viewable.tooltip, alt, layer, w)?;
|
||||
}
|
||||
}
|
||||
debug!("{}RETURN: No more overlap", debug_indent);
|
||||
Ok((
|
||||
from_pos,
|
||||
if from_pos < viewable.span.hi() { ordered_viewables } else { remaining_viewables },
|
||||
))
|
||||
}
|
||||
|
||||
#[inline(always)]
|
||||
fn write_coverage_gap<'tcx, W>(
|
||||
tcx: TyCtxt<'tcx>,
|
||||
lo: BytePos,
|
||||
hi: BytePos,
|
||||
w: &mut W,
|
||||
) -> io::Result<BytePos>
|
||||
) -> io::Result<()>
|
||||
where
|
||||
W: Write,
|
||||
{
|
||||
write_span(tcx, Span::with_root_ctxt(lo, hi), None, false, 0, w)
|
||||
let span = Span::with_root_ctxt(lo, hi);
|
||||
if let Some(ref html_snippet) = make_html_snippet(tcx, span, None) {
|
||||
write_span(html_snippet, "", false, 0, w)
|
||||
} else {
|
||||
Ok(())
|
||||
}
|
||||
}
|
||||
|
||||
fn write_span<'tcx, W>(
|
||||
tcx: TyCtxt<'tcx>,
|
||||
span: Span,
|
||||
span_viewable: Option<&SpanViewable>,
|
||||
fn write_span<W>(
|
||||
html_snippet: &str,
|
||||
tooltip: &str,
|
||||
alt: bool,
|
||||
layer: usize,
|
||||
w: &mut W,
|
||||
) -> io::Result<BytePos>
|
||||
) -> io::Result<()>
|
||||
where
|
||||
W: Write,
|
||||
{
|
||||
let source_map = tcx.sess.source_map();
|
||||
let snippet = source_map
|
||||
.span_to_snippet(span)
|
||||
.unwrap_or_else(|err| bug!("span_to_snippet error for span {:?}: {:?}", span, err));
|
||||
let labeled_snippet = if let Some(SpanViewable { title, .. }) = span_viewable {
|
||||
if span.is_empty() {
|
||||
format!(r#"<span class="annotation">@{}</span>"#, title)
|
||||
} else {
|
||||
format!(r#"<span class="annotation">@{}:</span> {}"#, title, escape_html(&snippet))
|
||||
}
|
||||
} else {
|
||||
snippet
|
||||
};
|
||||
let maybe_alt = if layer > 0 {
|
||||
let maybe_alt_class = if layer > 0 {
|
||||
if alt { " odd" } else { " even" }
|
||||
} else {
|
||||
""
|
||||
};
|
||||
let maybe_tooltip = if let Some(SpanViewable { tooltip, .. }) = span_viewable {
|
||||
let maybe_title_attr = if !tooltip.is_empty() {
|
||||
format!(" title=\"{}\"", escape_attr(tooltip))
|
||||
} else {
|
||||
"".to_owned()
|
||||
@ -387,32 +542,73 @@ where
|
||||
if layer == 1 {
|
||||
write!(w, "<span>")?;
|
||||
}
|
||||
for (i, line) in labeled_snippet.lines().enumerate() {
|
||||
for (i, line) in html_snippet.lines().enumerate() {
|
||||
if i > 0 {
|
||||
write!(w, "{}", NEW_LINE_SPAN)?;
|
||||
}
|
||||
write!(
|
||||
w,
|
||||
r#"<span class="code{}" style="--layer: {}"{}>{}</span>"#,
|
||||
maybe_alt, layer, maybe_tooltip, line
|
||||
maybe_alt_class, layer, maybe_title_attr, line
|
||||
)?;
|
||||
}
|
||||
// Check for and translate trailing newlines, because `str::lines()` ignores them
|
||||
if html_snippet.ends_with('\n') {
|
||||
write!(w, "{}", NEW_LINE_SPAN)?;
|
||||
}
|
||||
if layer == 1 {
|
||||
write!(w, "</span>")?;
|
||||
}
|
||||
Ok(span.hi())
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn make_html_snippet<'tcx>(
|
||||
tcx: TyCtxt<'tcx>,
|
||||
span: Span,
|
||||
some_viewable: Option<&SpanViewable>,
|
||||
) -> Option<String> {
|
||||
let source_map = tcx.sess.source_map();
|
||||
let snippet = source_map
|
||||
.span_to_snippet(span)
|
||||
.unwrap_or_else(|err| bug!("span_to_snippet error for span {:?}: {:?}", span, err));
|
||||
let html_snippet = if let Some(viewable) = some_viewable {
|
||||
let is_head = span.lo() == viewable.span.lo();
|
||||
let is_tail = span.hi() == viewable.span.hi();
|
||||
let mut labeled_snippet = if is_head {
|
||||
format!(r#"<span class="annotation">{}{}</span>"#, viewable.id, ANNOTATION_LEFT_BRACKET)
|
||||
} else {
|
||||
"".to_owned()
|
||||
};
|
||||
if span.is_empty() {
|
||||
if is_head && is_tail {
|
||||
labeled_snippet.push(CARET);
|
||||
}
|
||||
} else {
|
||||
labeled_snippet.push_str(&escape_html(&snippet));
|
||||
};
|
||||
if is_tail {
|
||||
labeled_snippet.push_str(&format!(
|
||||
r#"<span class="annotation">{}{}</span>"#,
|
||||
ANNOTATION_RIGHT_BRACKET, viewable.id
|
||||
));
|
||||
}
|
||||
labeled_snippet
|
||||
} else {
|
||||
escape_html(&snippet)
|
||||
};
|
||||
if html_snippet.is_empty() { None } else { Some(html_snippet) }
|
||||
}
|
||||
|
||||
fn tooltip<'tcx>(
|
||||
tcx: TyCtxt<'tcx>,
|
||||
title: &str,
|
||||
spanview_id: &str,
|
||||
span: Span,
|
||||
statements: Vec<Statement<'tcx>>,
|
||||
terminator: &Option<Terminator<'tcx>>,
|
||||
) -> String {
|
||||
let source_map = tcx.sess.source_map();
|
||||
let mut text = Vec::new();
|
||||
text.push(format!("{}: {}:", title, &source_map.span_to_string(span)));
|
||||
text.push(format!("{}: {}:", spanview_id, &source_map.span_to_string(span)));
|
||||
for statement in statements {
|
||||
let source_range = source_range_no_file(tcx, &statement.source_info.span);
|
||||
text.push(format!(
|
||||
@ -436,10 +632,25 @@ fn tooltip<'tcx>(
|
||||
text.join("")
|
||||
}
|
||||
|
||||
fn trim_span(span: Span, from_pos: BytePos, to_pos: BytePos) -> Span {
|
||||
trim_span_hi(trim_span_lo(span, from_pos), to_pos)
|
||||
}
|
||||
|
||||
fn trim_span_lo(span: Span, from_pos: BytePos) -> Span {
|
||||
if from_pos <= span.lo() { span } else { span.with_lo(cmp::min(span.hi(), from_pos)) }
|
||||
}
|
||||
|
||||
fn trim_span_hi(span: Span, to_pos: BytePos) -> Span {
|
||||
if to_pos >= span.hi() { span } else { span.with_hi(cmp::max(span.lo(), to_pos)) }
|
||||
}
|
||||
|
||||
fn fn_span<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> Span {
|
||||
let hir_id =
|
||||
tcx.hir().local_def_id_to_hir_id(def_id.as_local().expect("expected DefId is local"));
|
||||
tcx.hir().span(hir_id)
|
||||
let fn_decl_span = tcx.hir().span(hir_id);
|
||||
let body_span = hir_body(tcx, def_id).value.span;
|
||||
debug_assert_eq!(fn_decl_span.ctxt(), body_span.ctxt());
|
||||
fn_decl_span.to(body_span)
|
||||
}
|
||||
|
||||
fn hir_body<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> &'tcx rustc_hir::Body<'tcx> {
|
||||
|
||||
@ -59,9 +59,9 @@
|
||||
</style>
|
||||
</head>
|
||||
<body>
|
||||
<div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() </span><span><span class="code even" style="--layer: 1" title="bb0: $DIR/spanview-block.rs:5:11: 5:13:
|
||||
<div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() </span><span><span class="code even" style="--layer: 1" title="0: $DIR/spanview-block.rs:5:11: 5:13:
|
||||
5:11-5:13: Assign: _0 = const ()
|
||||
5:13-5:13: Goto: goto -> bb2"><span class="annotation">@bb0:</span> {}</span></span><span><span class="code even" style="--layer: 1" title="bb2: $DIR/spanview-block.rs:5:13: 5:13:
|
||||
5:13-5:13: Return: return"><span class="annotation">@bb2</span></span></span></span></div>
|
||||
5:13-5:13: Goto: goto -> bb2"><span class="annotation">0⦊</span>{}<span class="annotation">⦉0</span></span></span><span><span class="code odd" style="--layer: 1" title="2: $DIR/spanview-block.rs:5:13: 5:13:
|
||||
5:13-5:13: Return: return"><span class="annotation">2⦊</span>‸<span class="annotation">⦉2</span></span></span></span></div>
|
||||
</body>
|
||||
</html>
|
||||
|
||||
@ -59,9 +59,9 @@
|
||||
</style>
|
||||
</head>
|
||||
<body>
|
||||
<div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() </span><span><span class="code even" style="--layer: 1" title="bb0[0]: $DIR/spanview-statement.rs:5:11: 5:13:
|
||||
5:11-5:13: Assign: _0 = const ()"><span class="annotation">@bb0[0]:</span> {}</span></span><span><span class="code even" style="--layer: 1" title="bb0`Goto`: $DIR/spanview-statement.rs:5:13: 5:13:
|
||||
5:13-5:13: Goto: goto -> bb2"><span class="annotation">@bb0`Goto`</span></span></span><span><span class="code even" style="--layer: 1" title="bb2`Return`: $DIR/spanview-statement.rs:5:13: 5:13:
|
||||
5:13-5:13: Return: return"><span class="annotation">@bb2`Return`</span></span></span></span></div>
|
||||
<div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() </span><span><span class="code even" style="--layer: 1" title="0[0]: $DIR/spanview-statement.rs:5:11: 5:13:
|
||||
5:11-5:13: Assign: _0 = const ()"><span class="annotation">0[0]⦊</span>{}<span class="annotation">⦉0[0]</span></span></span><span><span class="code odd" style="--layer: 1" title="0:Goto: $DIR/spanview-statement.rs:5:13: 5:13:
|
||||
5:13-5:13: Goto: goto -> bb2"><span class="annotation">0:Goto⦊</span>‸<span class="annotation">⦉0:Goto</span></span></span><span><span class="code even" style="--layer: 1" title="2:Return: $DIR/spanview-statement.rs:5:13: 5:13:
|
||||
5:13-5:13: Return: return"><span class="annotation">2:Return⦊</span>‸<span class="annotation">⦉2:Return</span></span></span></span></div>
|
||||
</body>
|
||||
</html>
|
||||
|
||||
@ -59,8 +59,8 @@
|
||||
</style>
|
||||
</head>
|
||||
<body>
|
||||
<div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() {}</span><span><span class="code even" style="--layer: 1" title="bb0`Goto`: $DIR/spanview-terminator.rs:5:13: 5:13:
|
||||
5:13-5:13: Goto: goto -> bb2"><span class="annotation">@bb0`Goto`</span></span></span><span><span class="code even" style="--layer: 1" title="bb2`Return`: $DIR/spanview-terminator.rs:5:13: 5:13:
|
||||
5:13-5:13: Return: return"><span class="annotation">@bb2`Return`</span></span></span></span></div>
|
||||
<div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() {}</span><span><span class="code even" style="--layer: 1" title="0:Goto: $DIR/spanview-terminator.rs:5:13: 5:13:
|
||||
5:13-5:13: Goto: goto -> bb2"><span class="annotation">0:Goto⦊</span>‸<span class="annotation">⦉0:Goto</span></span></span><span><span class="code odd" style="--layer: 1" title="2:Return: $DIR/spanview-terminator.rs:5:13: 5:13:
|
||||
5:13-5:13: Return: return"><span class="annotation">2:Return⦊</span>‸<span class="annotation">⦉2:Return</span></span></span></span></div>
|
||||
</body>
|
||||
</html>
|
||||
|
||||
@ -62,12 +62,12 @@
|
||||
<div class="code" style="counter-reset: line 2"><span class="line"><span class="code" style="--layer: 0">fn main() {</span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"> let mut countdown = 0;</span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="bb2: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: FalseEdge: falseEdge -> [real: bb4, imaginary: bb3]"><span class="annotation">@2</span></span></span><span class="code even" style="--layer: 2" title="bb4: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: FalseEdge: falseEdge -> [real: bb4, imaginary: bb3]"><span class="annotation">2⦊</span></span></span><span class="code even" style="--layer: 2" title="bb4: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
6:9-6:23: Assign: _1 = const 10_i32
|
||||
5:13-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">@4</span></span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">4⦊</span></span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">@3:</span> if </span><span class="code even" style="--layer: 4" title="bb0: ../instrument-coverage/coverage_of_if_else.rs:5:8: 5:12:
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">3⦊</span>if </span><span class="code even" style="--layer: 4" title="bb0: ../instrument-coverage/coverage_of_if_else.rs:5:8: 5:12:
|
||||
4:9-4:22: StorageLive: StorageLive(_1)
|
||||
4:25-4:26: Assign: _1 = const 0_i32
|
||||
4:9-4:22: FakeRead: FakeRead(ForLet, _1)
|
||||
@ -75,25 +75,29 @@
|
||||
5:8-5:12: StorageLive: StorageLive(_3)
|
||||
5:8-5:12: Assign: _3 = const true
|
||||
5:8-5:12: FakeRead: FakeRead(ForMatchedPlace, _3)
|
||||
5:5-7:6: SwitchInt: switchInt(_3) -> [false: bb3, otherwise: bb2]"><span class="annotation">@0:</span> true</span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: SwitchInt: switchInt(_3) -> [false: bb3, otherwise: bb2]"><span class="annotation">0⦊</span>true<span class="annotation">⦉0</span></span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">@3:</span> {</span></span>
|
||||
5:5-7:6: Goto: goto -> bb5"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"> countdown = 10;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"> }</span><span class="code" style="--layer: 0"></span></span>
|
||||
5:5-7:6: Goto: goto -> bb5"> }<span class="annotation">⦉3</span></span><span class="code even" style="--layer: 2" title="bb4: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
6:9-6:23: Assign: _1 = const 10_i32
|
||||
5:13-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">⦉4</span></span><span><span class="code even" style="--layer: 1" title="bb2: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: FalseEdge: falseEdge -> [real: bb4, imaginary: bb3]"><span class="annotation">⦉2</span></span></span><span class="code" style="--layer: 0"></span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"></span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="bb6: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: FalseEdge: falseEdge -> [real: bb8, imaginary: bb7]"><span class="annotation">@6</span></span></span><span class="code even" style="--layer: 2" title="bb9: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="bb6: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: FalseEdge: falseEdge -> [real: bb8, imaginary: bb7]"><span class="annotation">6⦊</span></span></span><span class="code even" style="--layer: 2" title="bb9: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
10:9-10:23: Assign: _1 = move (_7.0: i32)
|
||||
9:22-11:6: Assign: _4 = const ()
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@9</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">9⦊</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@25:</span> if </span><span class="code even" style="--layer: 4" title="bb5: ../instrument-coverage/coverage_of_if_else.rs:9:8: 9:21:
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">25⦊</span>if </span><span class="code even" style="--layer: 4" title="bb5: ../instrument-coverage/coverage_of_if_else.rs:9:8: 9:21:
|
||||
7:5-7:6: StorageDead: StorageDead(_3)
|
||||
7:5-7:6: StorageDead: StorageDead(_2)
|
||||
9:5-18:6: StorageLive: StorageLive(_4)
|
||||
@ -103,61 +107,61 @@
|
||||
9:8-9:21: Assign: _5 = Gt(move _6, const 7_i32)
|
||||
9:20-9:21: StorageDead: StorageDead(_6)
|
||||
9:8-9:21: FakeRead: FakeRead(ForMatchedPlace, _5)
|
||||
9:5-18:6: SwitchInt: switchInt(_5) -> [false: bb7, otherwise: bb6]"><span class="annotation">@5:</span> countdown > 7</span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: SwitchInt: switchInt(_5) -> [false: bb7, otherwise: bb6]"><span class="annotation">5⦊</span>countdown > 7<span class="annotation">⦉5</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@25:</span> {</span></span>
|
||||
9:5-18:6: Goto: goto -> bb28"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"> </span><span class="code odd" style="--layer: 4" title="bb8: ../instrument-coverage/coverage_of_if_else.rs:10:9: 10:23:
|
||||
10:9-10:23: Assign: _7 = CheckedSub(_1, const 4_i32)
|
||||
10:9-10:23: Assert: assert(!move (_7.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 4_i32) -> [success: bb9, unwind: bb1]"><span class="annotation">@8:</span> countdown -= 4</span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
10:9-10:23: Assert: assert(!move (_7.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 4_i32) -> [success: bb9, unwind: bb1]"><span class="annotation">8⦊</span>countdown -= 4<span class="annotation">⦉8</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@25:</span> ;</span></span>
|
||||
9:5-18:6: Goto: goto -> bb28">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"> } else </span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">@10:</span> if </span><span class="code even" style="--layer: 5" title="bb7: ../instrument-coverage/coverage_of_if_else.rs:11:15: 11:28:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">10⦊</span>if </span><span class="code even" style="--layer: 5" title="bb7: ../instrument-coverage/coverage_of_if_else.rs:11:15: 11:28:
|
||||
11:15-11:28: StorageLive: StorageLive(_8)
|
||||
11:15-11:24: StorageLive: StorageLive(_9)
|
||||
11:15-11:24: Assign: _9 = _1
|
||||
11:15-11:28: Assign: _8 = Gt(move _9, const 2_i32)
|
||||
11:27-11:28: StorageDead: StorageDead(_9)
|
||||
11:15-11:28: FakeRead: FakeRead(ForMatchedPlace, _8)
|
||||
11:12-18:6: SwitchInt: switchInt(_8) -> [false: bb11, otherwise: bb10]"><span class="annotation">@7:</span> countdown > 2</span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">@10:</span> {</span></span>
|
||||
11:12-18:6: SwitchInt: switchInt(_8) -> [false: bb11, otherwise: bb10]"><span class="annotation">7⦊</span>countdown > 2<span class="annotation">⦉7</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> </span><span class="code odd" style="--layer: 5" title="bb22: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">@22</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">22⦊</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
13:13-13:26: Assign: _1 = const 0_i32
|
||||
12:61-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">@23</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">@21:</span> if </span><span class="code even" style="--layer: 8" title="bb14: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">23⦊</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">21⦊</span>if </span><span class="code even" style="--layer: 8" title="bb14: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const false
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">@14</span></span><span class="code even" style="--layer: 9" title="bb15: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">14⦊</span></span><span class="code even" style="--layer: 9" title="bb15: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:46-12:60: StorageLive: StorageLive(_17)
|
||||
12:46-12:55: StorageLive: StorageLive(_18)
|
||||
12:46-12:55: Assign: _18 = _1
|
||||
12:46-12:60: Assign: _17 = Ne(move _18, const 9_i32)
|
||||
12:59-12:60: StorageDead: StorageDead(_18)
|
||||
12:12-12:60: SwitchInt: switchInt(move _17) -> [false: bb14, otherwise: bb13]"><span class="annotation">@15</span></span><span class="code even" style="--layer: 10" title="bb16: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: SwitchInt: switchInt(move _17) -> [false: bb14, otherwise: bb13]"><span class="annotation">15⦊</span></span><span class="code even" style="--layer: 10" title="bb16: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:59-12:60: StorageDead: StorageDead(_17)
|
||||
12:59-12:60: StorageDead: StorageDead(_12)
|
||||
12:12-12:60: FakeRead: FakeRead(ForMatchedPlace, _11)
|
||||
12:9-14:10: SwitchInt: switchInt(_11) -> [false: bb22, otherwise: bb21]"><span class="annotation">@16</span></span><span class="code even" style="--layer: 11" title="bb13: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: SwitchInt: switchInt(_11) -> [false: bb22, otherwise: bb21]"><span class="annotation">16⦊</span></span><span class="code even" style="--layer: 11" title="bb13: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const true
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">@13</span></span><span class="code even" style="--layer: 12" title="bb20: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">13⦊</span></span><span class="code even" style="--layer: 12" title="bb20: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:41-12:42: StorageDead: StorageDead(_15)
|
||||
12:41-12:42: StorageDead: StorageDead(_13)
|
||||
12:12-12:60: SwitchInt: switchInt(move _12) -> [false: bb15, otherwise: bb13]"><span class="annotation">@20</span></span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: SwitchInt: switchInt(move _12) -> [false: bb15, otherwise: bb13]"><span class="annotation">20⦊</span></span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: StorageLive: StorageLive(_10)
|
||||
12:12-12:60: StorageLive: StorageLive(_11)
|
||||
12:12-12:42: StorageLive: StorageLive(_12)
|
||||
@ -166,17 +170,25 @@
|
||||
12:12-12:21: Assign: _14 = _1
|
||||
12:12-12:25: Assign: _13 = Lt(move _14, const 1_i32)
|
||||
12:24-12:25: StorageDead: StorageDead(_14)
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"><span class="annotation">@12</span></span><span class="code even" style="--layer: 14" title="bb18: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"><span class="annotation">12⦊</span></span><span class="code even" style="--layer: 14" title="bb18: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Assign: _12 = const false
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">@18</span></span><span class="code even" style="--layer: 15" title="bb19: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">18⦊</span></span><span class="code even" style="--layer: 15" title="bb19: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:29-12:42: StorageLive: StorageLive(_15)
|
||||
12:29-12:38: StorageLive: StorageLive(_16)
|
||||
12:29-12:38: Assign: _16 = _1
|
||||
12:29-12:42: Assign: _15 = Gt(move _16, const 5_i32)
|
||||
12:41-12:42: StorageDead: StorageDead(_16)
|
||||
12:12-12:42: SwitchInt: switchInt(move _15) -> [false: bb18, otherwise: bb17]"><span class="annotation">@19</span></span><span class="code even" style="--layer: 16" title="bb17: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: SwitchInt: switchInt(move _15) -> [false: bb18, otherwise: bb17]"><span class="annotation">19⦊</span></span><span class="code even" style="--layer: 16" title="bb17: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Assign: _12 = const true
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">@17:</span> countdown < 1 || countdown > 5</span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">17⦊</span>countdown < 1 || countdown > 5<span class="annotation">⦉17</span></span><span class="code even" style="--layer: 15" title="bb19: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:29-12:42: StorageLive: StorageLive(_15)
|
||||
12:29-12:38: StorageLive: StorageLive(_16)
|
||||
12:29-12:38: Assign: _16 = _1
|
||||
12:29-12:42: Assign: _15 = Gt(move _16, const 5_i32)
|
||||
12:41-12:42: StorageDead: StorageDead(_16)
|
||||
12:12-12:42: SwitchInt: switchInt(move _15) -> [false: bb18, otherwise: bb17]"><span class="annotation">⦉19</span></span><span class="code even" style="--layer: 14" title="bb18: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Assign: _12 = const false
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">⦉18</span></span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: StorageLive: StorageLive(_10)
|
||||
12:12-12:60: StorageLive: StorageLive(_11)
|
||||
12:12-12:42: StorageLive: StorageLive(_12)
|
||||
@ -185,8 +197,25 @@
|
||||
12:12-12:21: Assign: _14 = _1
|
||||
12:12-12:25: Assign: _13 = Lt(move _14, const 1_i32)
|
||||
12:24-12:25: StorageDead: StorageDead(_14)
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"><span class="annotation">@12:</span> || countdown != 9</span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">@21:</span> {</span></span>
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"> || countdown != 9<span class="annotation">⦉12</span></span><span class="code even" style="--layer: 12" title="bb20: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:41-12:42: StorageDead: StorageDead(_15)
|
||||
12:41-12:42: StorageDead: StorageDead(_13)
|
||||
12:12-12:60: SwitchInt: switchInt(move _12) -> [false: bb15, otherwise: bb13]"><span class="annotation">⦉20</span></span><span class="code even" style="--layer: 11" title="bb13: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const true
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">⦉13</span></span><span class="code even" style="--layer: 10" title="bb16: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:59-12:60: StorageDead: StorageDead(_17)
|
||||
12:59-12:60: StorageDead: StorageDead(_12)
|
||||
12:12-12:60: FakeRead: FakeRead(ForMatchedPlace, _11)
|
||||
12:9-14:10: SwitchInt: switchInt(_11) -> [false: bb22, otherwise: bb21]"><span class="annotation">⦉16</span></span><span class="code even" style="--layer: 9" title="bb15: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:46-12:60: StorageLive: StorageLive(_17)
|
||||
12:46-12:55: StorageLive: StorageLive(_18)
|
||||
12:46-12:55: Assign: _18 = _1
|
||||
12:46-12:60: Assign: _17 = Ne(move _18, const 9_i32)
|
||||
12:59-12:60: StorageDead: StorageDead(_18)
|
||||
12:12-12:60: SwitchInt: switchInt(move _17) -> [false: bb14, otherwise: bb13]"><span class="annotation">⦉15</span></span><span class="code even" style="--layer: 8" title="bb14: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const false
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">⦉14</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"> countdown = 0;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
@ -194,32 +223,67 @@
|
||||
14:9-14:10: StorageDead: StorageDead(_11)
|
||||
14:9-14:10: StorageDead: StorageDead(_10)
|
||||
15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32)
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"><span class="annotation">@24:</span> }</span></span>
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"><span class="annotation">24⦊</span>}</span><span class="code odd" style="--layer: 5" title="bb22: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">⦉22</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
13:13-13:26: Assign: _1 = const 0_i32
|
||||
12:61-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">⦉23</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">⦉21</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">⦉21</span></span><span class="code odd" style="--layer: 8" title="bb24: ../instrument-coverage/coverage_of_if_else.rs:14:9: 15:23:
|
||||
14:9-14:10: StorageDead: StorageDead(_11)
|
||||
14:9-14:10: StorageDead: StorageDead(_10)
|
||||
15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32)
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"></span></span>
|
||||
<span class="line"><span class="code odd" style="--layer: 8" title="bb24: ../instrument-coverage/coverage_of_if_else.rs:14:9: 15:23:
|
||||
14:9-14:10: StorageDead: StorageDead(_11)
|
||||
14:9-14:10: StorageDead: StorageDead(_10)
|
||||
15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32)
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"> countdown -= 5</span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">@10:</span> ;</span></span>
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"> countdown -= 5<span class="annotation">⦉24</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> } else {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> </span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">@27</span></span><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">27⦊</span></span><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Assign: _0 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
17:9-17:15: Goto: goto -> bb27"><span class="annotation">@11:</span> return;</span></span>
|
||||
17:9-17:15: Goto: goto -> bb27"><span class="annotation">11⦊</span>return;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Assign: _0 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
17:9-17:15: Goto: goto -> bb27"> }</span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
17:9-17:15: Goto: goto -> bb27"> }<span class="annotation">⦉11</span></span><span><span class="code odd" style="--layer: 1" title="bb6: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: FalseEdge: falseEdge -> [real: bb8, imaginary: bb7]"><span class="annotation">⦉6</span></span></span><span class="code even" style="--layer: 2" title="bb9: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
10:9-10:23: Assign: _1 = move (_7.0: i32)
|
||||
9:22-11:6: Assign: _4 = const ()
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉9</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉25</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉25</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉25</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">⦉10</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">⦉10</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">⦉10</span></span><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Assign: _0 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
17:9-17:15: Goto: goto -> bb27"><span class="annotation">⦉11</span></span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">@27:</span> </span></span>
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
@ -230,11 +294,11 @@
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"> </span><span class="code odd" style="--layer: 6" title="bb30: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">@30</span></span><span class="code even" style="--layer: 7" title="bb31: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">30⦊</span></span><span class="code even" style="--layer: 7" title="bb31: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
22:9-22:23: Assign: _21 = const 10_i32
|
||||
21:13-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">@31</span></span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"><span class="annotation">@29:</span> if </span><span class="code even" style="--layer: 9" title="bb28: ../instrument-coverage/coverage_of_if_else.rs:21:8: 21:12:
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">31⦊</span></span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"><span class="annotation">29⦊</span>if </span><span class="code even" style="--layer: 9" title="bb28: ../instrument-coverage/coverage_of_if_else.rs:21:8: 21:12:
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
20:9-20:22: StorageLive: StorageLive(_21)
|
||||
@ -244,28 +308,33 @@
|
||||
21:8-21:12: StorageLive: StorageLive(_23)
|
||||
21:8-21:12: Assign: _23 = const true
|
||||
21:8-21:12: FakeRead: FakeRead(ForMatchedPlace, _23)
|
||||
21:5-23:6: SwitchInt: switchInt(_23) -> [false: bb30, otherwise: bb29]"><span class="annotation">@28:</span> true</span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"><span class="annotation">@29:</span> {</span></span>
|
||||
21:5-23:6: SwitchInt: switchInt(_23) -> [false: bb30, otherwise: bb29]"><span class="annotation">28⦊</span>true<span class="annotation">⦉28</span></span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> countdown = 10;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> }</span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> }<span class="annotation">⦉29</span></span><span class="code even" style="--layer: 7" title="bb31: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
22:9-22:23: Assign: _21 = const 10_i32
|
||||
21:13-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">⦉31</span></span><span class="code odd" style="--layer: 6" title="bb30: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">⦉30</span></span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">@27:</span> </span></span>
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"> </span><span class="code even" style="--layer: 6" title="bb33: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: FalseEdge: falseEdge -> [real: bb35, imaginary: bb34]"><span class="annotation">@33</span></span><span class="code even" style="--layer: 7" title="bb52: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: FalseEdge: falseEdge -> [real: bb35, imaginary: bb34]"><span class="annotation">33⦊</span></span><span class="code even" style="--layer: 7" title="bb52: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
31:9-31:23: Assign: _21 = move (_39.0: i32)
|
||||
27:29-32:6: Assign: _24 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@52</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">52⦊</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@36:</span> if </span><span class="code even" style="--layer: 9" title="bb32: ../instrument-coverage/coverage_of_if_else.rs:25:8: 25:21:
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">36⦊</span>if </span><span class="code even" style="--layer: 9" title="bb32: ../instrument-coverage/coverage_of_if_else.rs:25:8: 25:21:
|
||||
23:5-23:6: StorageDead: StorageDead(_23)
|
||||
23:5-23:6: StorageDead: StorageDead(_22)
|
||||
25:5-34:6: StorageLive: StorageLive(_24)
|
||||
@ -275,40 +344,40 @@
|
||||
25:8-25:21: Assign: _25 = Gt(move _26, const 7_i32)
|
||||
25:20-25:21: StorageDead: StorageDead(_26)
|
||||
25:8-25:21: FakeRead: FakeRead(ForMatchedPlace, _25)
|
||||
25:5-34:6: SwitchInt: switchInt(_25) -> [false: bb34, otherwise: bb33]"><span class="annotation">@32:</span> countdown > 7</span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: SwitchInt: switchInt(_25) -> [false: bb34, otherwise: bb33]"><span class="annotation">32⦊</span>countdown > 7<span class="annotation">⦉32</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@36:</span> {</span></span>
|
||||
25:5-34:6: Goto: goto -> bb53"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"> </span><span class="code odd" style="--layer: 9" title="bb35: ../instrument-coverage/coverage_of_if_else.rs:26:9: 26:23:
|
||||
26:9-26:23: Assign: _27 = CheckedSub(_21, const 4_i32)
|
||||
26:9-26:23: Assert: assert(!move (_27.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 4_i32) -> [success: bb36, unwind: bb1]"><span class="annotation">@35:</span> countdown -= 4</span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assert: assert(!move (_27.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 4_i32) -> [success: bb36, unwind: bb1]"><span class="annotation">35⦊</span>countdown -= 4<span class="annotation">⦉35</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@36:</span> ;</span></span>
|
||||
25:5-34:6: Goto: goto -> bb53">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"> } else </span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">@37:</span> if </span><span class="code even" style="--layer: 10" title="bb34: ../instrument-coverage/coverage_of_if_else.rs:27:15: 27:28:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">37⦊</span>if </span><span class="code even" style="--layer: 10" title="bb34: ../instrument-coverage/coverage_of_if_else.rs:27:15: 27:28:
|
||||
27:15-27:28: StorageLive: StorageLive(_28)
|
||||
27:15-27:24: StorageLive: StorageLive(_29)
|
||||
27:15-27:24: Assign: _29 = _21
|
||||
27:15-27:28: Assign: _28 = Gt(move _29, const 2_i32)
|
||||
27:27-27:28: StorageDead: StorageDead(_29)
|
||||
27:15-27:28: FakeRead: FakeRead(ForMatchedPlace, _28)
|
||||
27:12-34:6: SwitchInt: switchInt(_28) -> [false: bb38, otherwise: bb37]"><span class="annotation">@34:</span> countdown > 2</span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">@37:</span> {</span></span>
|
||||
27:12-34:6: SwitchInt: switchInt(_28) -> [false: bb38, otherwise: bb37]"><span class="annotation">34⦊</span>countdown > 2<span class="annotation">⦉34</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> </span><span class="code odd" style="--layer: 10" title="bb48: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">@48</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">48⦊</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
29:13-29:26: Assign: _21 = const 0_i32
|
||||
28:61-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">@50</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">50⦊</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">@49:</span> if </span><span class="code even" style="--layer: 13" title="bb39: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">49⦊</span>if </span><span class="code even" style="--layer: 13" title="bb39: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: StorageLive: StorageLive(_30)
|
||||
28:12-28:60: StorageLive: StorageLive(_31)
|
||||
28:12-28:42: StorageLive: StorageLive(_32)
|
||||
@ -317,38 +386,70 @@
|
||||
28:12-28:21: Assign: _34 = _21
|
||||
28:12-28:25: Assign: _33 = Lt(move _34, const 1_i32)
|
||||
28:24-28:25: StorageDead: StorageDead(_34)
|
||||
28:12-28:42: SwitchInt: switchInt(move _33) -> [false: bb46, otherwise: bb44]"><span class="annotation">@39</span></span><span class="code even" style="--layer: 14" title="bb47: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:42: SwitchInt: switchInt(move _33) -> [false: bb46, otherwise: bb44]"><span class="annotation">39⦊</span></span><span class="code even" style="--layer: 14" title="bb47: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:41-28:42: StorageDead: StorageDead(_35)
|
||||
28:41-28:42: StorageDead: StorageDead(_33)
|
||||
28:12-28:60: SwitchInt: switchInt(move _32) -> [false: bb42, otherwise: bb40]"><span class="annotation">@47</span></span><span class="code even" style="--layer: 15" title="bb40: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: SwitchInt: switchInt(move _32) -> [false: bb42, otherwise: bb40]"><span class="annotation">47⦊</span></span><span class="code even" style="--layer: 15" title="bb40: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const true
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">@40</span></span><span class="code even" style="--layer: 16" title="bb43: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">40⦊</span></span><span class="code even" style="--layer: 16" title="bb43: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:59-28:60: StorageDead: StorageDead(_37)
|
||||
28:59-28:60: StorageDead: StorageDead(_32)
|
||||
28:12-28:60: FakeRead: FakeRead(ForMatchedPlace, _31)
|
||||
28:9-30:10: SwitchInt: switchInt(_31) -> [false: bb49, otherwise: bb48]"><span class="annotation">@43</span></span><span class="code even" style="--layer: 17" title="bb42: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: SwitchInt: switchInt(_31) -> [false: bb49, otherwise: bb48]"><span class="annotation">43⦊</span></span><span class="code even" style="--layer: 17" title="bb42: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:46-28:60: StorageLive: StorageLive(_37)
|
||||
28:46-28:55: StorageLive: StorageLive(_38)
|
||||
28:46-28:55: Assign: _38 = _21
|
||||
28:46-28:60: Assign: _37 = Ne(move _38, const 9_i32)
|
||||
28:59-28:60: StorageDead: StorageDead(_38)
|
||||
28:12-28:60: SwitchInt: switchInt(move _37) -> [false: bb41, otherwise: bb40]"><span class="annotation">@42</span></span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: SwitchInt: switchInt(move _37) -> [false: bb41, otherwise: bb40]"><span class="annotation">42⦊</span></span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const false
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">@41</span></span><span class="code even" style="--layer: 19" title="bb46: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">41⦊</span></span><span class="code even" style="--layer: 19" title="bb46: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:29-28:42: StorageLive: StorageLive(_35)
|
||||
28:29-28:38: StorageLive: StorageLive(_36)
|
||||
28:29-28:38: Assign: _36 = _21
|
||||
28:29-28:42: Assign: _35 = Gt(move _36, const 5_i32)
|
||||
28:41-28:42: StorageDead: StorageDead(_36)
|
||||
28:12-28:42: SwitchInt: switchInt(move _35) -> [false: bb45, otherwise: bb44]"><span class="annotation">@46</span></span><span class="code even" style="--layer: 20" title="bb45: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: SwitchInt: switchInt(move _35) -> [false: bb45, otherwise: bb44]"><span class="annotation">46⦊</span></span><span class="code even" style="--layer: 20" title="bb45: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Assign: _32 = const false
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">@45</span></span><span class="code even" style="--layer: 21" title="bb44: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">45⦊</span></span><span class="code even" style="--layer: 21" title="bb44: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Assign: _32 = const true
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">@44:</span> countdown < 1 || countdown > 5</span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">44⦊</span>countdown < 1 || countdown > 5<span class="annotation">⦉44</span></span><span class="code even" style="--layer: 20" title="bb45: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Assign: _32 = const false
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">⦉45</span></span><span class="code even" style="--layer: 19" title="bb46: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:29-28:42: StorageLive: StorageLive(_35)
|
||||
28:29-28:38: StorageLive: StorageLive(_36)
|
||||
28:29-28:38: Assign: _36 = _21
|
||||
28:29-28:42: Assign: _35 = Gt(move _36, const 5_i32)
|
||||
28:41-28:42: StorageDead: StorageDead(_36)
|
||||
28:12-28:42: SwitchInt: switchInt(move _35) -> [false: bb45, otherwise: bb44]"><span class="annotation">⦉46</span></span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const false
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">@41:</span> || countdown != 9</span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:12-28:60: Goto: goto -> bb43"> || countdown != 9<span class="annotation">⦉41</span></span><span class="code even" style="--layer: 17" title="bb42: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:46-28:60: StorageLive: StorageLive(_37)
|
||||
28:46-28:55: StorageLive: StorageLive(_38)
|
||||
28:46-28:55: Assign: _38 = _21
|
||||
28:46-28:60: Assign: _37 = Ne(move _38, const 9_i32)
|
||||
28:59-28:60: StorageDead: StorageDead(_38)
|
||||
28:12-28:60: SwitchInt: switchInt(move _37) -> [false: bb41, otherwise: bb40]"><span class="annotation">⦉42</span></span><span class="code even" style="--layer: 16" title="bb43: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:59-28:60: StorageDead: StorageDead(_37)
|
||||
28:59-28:60: StorageDead: StorageDead(_32)
|
||||
28:12-28:60: FakeRead: FakeRead(ForMatchedPlace, _31)
|
||||
28:9-30:10: SwitchInt: switchInt(_31) -> [false: bb49, otherwise: bb48]"><span class="annotation">⦉43</span></span><span class="code even" style="--layer: 15" title="bb40: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const true
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">⦉40</span></span><span class="code even" style="--layer: 14" title="bb47: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:41-28:42: StorageDead: StorageDead(_35)
|
||||
28:41-28:42: StorageDead: StorageDead(_33)
|
||||
28:12-28:60: SwitchInt: switchInt(move _32) -> [false: bb42, otherwise: bb40]"><span class="annotation">⦉47</span></span><span class="code even" style="--layer: 13" title="bb39: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: StorageLive: StorageLive(_30)
|
||||
28:12-28:60: StorageLive: StorageLive(_31)
|
||||
28:12-28:42: StorageLive: StorageLive(_32)
|
||||
28:12-28:25: StorageLive: StorageLive(_33)
|
||||
28:12-28:21: StorageLive: StorageLive(_34)
|
||||
28:12-28:21: Assign: _34 = _21
|
||||
28:12-28:25: Assign: _33 = Lt(move _34, const 1_i32)
|
||||
28:24-28:25: StorageDead: StorageDead(_34)
|
||||
28:12-28:42: SwitchInt: switchInt(move _33) -> [false: bb46, otherwise: bb44]"><span class="annotation">⦉39</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">@49:</span> {</span></span>
|
||||
28:9-30:10: Goto: goto -> bb51"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"> countdown = 0;</span></span>
|
||||
@ -358,13 +459,25 @@
|
||||
30:9-30:10: StorageDead: StorageDead(_31)
|
||||
30:9-30:10: StorageDead: StorageDead(_30)
|
||||
31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32)
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"><span class="annotation">@51:</span> }</span></span>
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"><span class="annotation">51⦊</span>}</span><span class="code odd" style="--layer: 10" title="bb48: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">⦉48</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
29:13-29:26: Assign: _21 = const 0_i32
|
||||
28:61-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">⦉50</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">⦉49</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">⦉49</span></span><span class="code odd" style="--layer: 13" title="bb51: ../instrument-coverage/coverage_of_if_else.rs:30:9: 31:23:
|
||||
30:9-30:10: StorageDead: StorageDead(_31)
|
||||
30:9-30:10: StorageDead: StorageDead(_30)
|
||||
31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32)
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"></span></span>
|
||||
<span class="line"><span class="code odd" style="--layer: 13" title="bb51: ../instrument-coverage/coverage_of_if_else.rs:30:9: 31:23:
|
||||
30:9-30:10: StorageDead: StorageDead(_31)
|
||||
30:9-30:10: StorageDead: StorageDead(_30)
|
||||
31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32)
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"> countdown -= 5</span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">@37:</span> ;</span></span>
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"> countdown -= 5<span class="annotation">⦉51</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> } else {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
@ -374,14 +487,37 @@
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">@38:</span> return;</span></span>
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">38⦊</span>return;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"> }</span></span>
|
||||
33:9-33:15: Goto: goto -> bb27"> }</span><span class="code even" style="--layer: 6" title="bb33: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: FalseEdge: falseEdge -> [real: bb35, imaginary: bb34]"><span class="annotation">⦉33</span></span><span class="code even" style="--layer: 7" title="bb52: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
31:9-31:23: Assign: _21 = move (_39.0: i32)
|
||||
27:29-32:6: Assign: _24 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉52</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉36</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉36</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉36</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">⦉37</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">⦉37</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">⦉37</span></span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
@ -405,10 +541,10 @@
|
||||
33:9-33:15: Goto: goto -> bb27"> </span><span class="code even" style="--layer: 11" title="bb56: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
38:9-38:23: Assign: _41 = const 10_i32
|
||||
37:13-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">@56</span></span><span class="code even" style="--layer: 12" title="bb54: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: FalseEdge: falseEdge -> [real: bb56, imaginary: bb55]"><span class="annotation">@54</span></span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">56⦊</span></span><span class="code even" style="--layer: 12" title="bb54: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: FalseEdge: falseEdge -> [real: bb56, imaginary: bb55]"><span class="annotation">54⦊</span></span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">@55:</span> if </span><span class="code even" style="--layer: 14" title="bb53: ../instrument-coverage/coverage_of_if_else.rs:37:8: 37:12:
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">55⦊</span>if </span><span class="code even" style="--layer: 14" title="bb53: ../instrument-coverage/coverage_of_if_else.rs:37:8: 37:12:
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
36:9-36:22: StorageLive: StorageLive(_41)
|
||||
@ -418,21 +554,25 @@
|
||||
37:8-37:12: StorageLive: StorageLive(_43)
|
||||
37:8-37:12: Assign: _43 = const true
|
||||
37:8-37:12: FakeRead: FakeRead(ForMatchedPlace, _43)
|
||||
37:5-39:6: SwitchInt: switchInt(_43) -> [false: bb55, otherwise: bb54]"><span class="annotation">@53:</span> true</span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: SwitchInt: switchInt(_43) -> [false: bb55, otherwise: bb54]"><span class="annotation">53⦊</span>true<span class="annotation">⦉53</span></span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">@55:</span> {</span></span>
|
||||
37:5-39:6: Goto: goto -> bb57"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"> countdown = 10;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"> }</span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
37:5-39:6: Goto: goto -> bb57"> }<span class="annotation">⦉55</span></span><span class="code even" style="--layer: 12" title="bb54: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: FalseEdge: falseEdge -> [real: bb56, imaginary: bb55]"><span class="annotation">⦉54</span></span><span class="code even" style="--layer: 11" title="bb56: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
38:9-38:23: Assign: _41 = const 10_i32
|
||||
37:13-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">⦉56</span></span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">@38:</span> </span></span>
|
||||
33:9-33:15: Goto: goto -> bb27"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
@ -449,12 +589,12 @@
|
||||
33:9-33:15: Goto: goto -> bb27"> </span><span class="code odd" style="--layer: 11" title="bb61: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
42:9-42:23: Assign: _41 = move (_46.0: i32)
|
||||
41:22-43:6: Assign: _0 = const ()
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@61</span></span><span class="code even" style="--layer: 12" title="bb58: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: FalseEdge: falseEdge -> [real: bb60, imaginary: bb59]"><span class="annotation">@58</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">61⦊</span></span><span class="code even" style="--layer: 12" title="bb58: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: FalseEdge: falseEdge -> [real: bb60, imaginary: bb59]"><span class="annotation">58⦊</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@77:</span> if </span><span class="code even" style="--layer: 14" title="bb57: ../instrument-coverage/coverage_of_if_else.rs:41:8: 41:21:
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">77⦊</span>if </span><span class="code even" style="--layer: 14" title="bb57: ../instrument-coverage/coverage_of_if_else.rs:41:8: 41:21:
|
||||
39:5-39:6: StorageDead: StorageDead(_43)
|
||||
39:5-39:6: StorageDead: StorageDead(_42)
|
||||
41:8-41:21: StorageLive: StorageLive(_44)
|
||||
@ -463,59 +603,59 @@
|
||||
41:8-41:21: Assign: _44 = Gt(move _45, const 7_i32)
|
||||
41:20-41:21: StorageDead: StorageDead(_45)
|
||||
41:8-41:21: FakeRead: FakeRead(ForMatchedPlace, _44)
|
||||
41:5-50:6: SwitchInt: switchInt(_44) -> [false: bb59, otherwise: bb58]"><span class="annotation">@57:</span> countdown > 7</span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: SwitchInt: switchInt(_44) -> [false: bb59, otherwise: bb58]"><span class="annotation">57⦊</span>countdown > 7<span class="annotation">⦉57</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@77:</span> {</span></span>
|
||||
41:5-50:6: Goto: goto -> bb78"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"> </span><span class="code odd" style="--layer: 14" title="bb60: ../instrument-coverage/coverage_of_if_else.rs:42:9: 42:23:
|
||||
42:9-42:23: Assign: _46 = CheckedSub(_41, const 4_i32)
|
||||
42:9-42:23: Assert: assert(!move (_46.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 4_i32) -> [success: bb61, unwind: bb1]"><span class="annotation">@60:</span> countdown -= 4</span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
42:9-42:23: Assert: assert(!move (_46.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 4_i32) -> [success: bb61, unwind: bb1]"><span class="annotation">60⦊</span>countdown -= 4<span class="annotation">⦉60</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@77:</span> ;</span></span>
|
||||
41:5-50:6: Goto: goto -> bb78">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"> } else </span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">@62:</span> if </span><span class="code even" style="--layer: 15" title="bb59: ../instrument-coverage/coverage_of_if_else.rs:43:15: 43:28:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">62⦊</span>if </span><span class="code even" style="--layer: 15" title="bb59: ../instrument-coverage/coverage_of_if_else.rs:43:15: 43:28:
|
||||
43:15-43:28: StorageLive: StorageLive(_47)
|
||||
43:15-43:24: StorageLive: StorageLive(_48)
|
||||
43:15-43:24: Assign: _48 = _41
|
||||
43:15-43:28: Assign: _47 = Gt(move _48, const 2_i32)
|
||||
43:27-43:28: StorageDead: StorageDead(_48)
|
||||
43:15-43:28: FakeRead: FakeRead(ForMatchedPlace, _47)
|
||||
43:12-50:6: SwitchInt: switchInt(_47) -> [false: bb63, otherwise: bb62]"><span class="annotation">@59:</span> countdown > 2</span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">@62:</span> {</span></span>
|
||||
43:12-50:6: SwitchInt: switchInt(_47) -> [false: bb63, otherwise: bb62]"><span class="annotation">59⦊</span>countdown > 2<span class="annotation">⦉59</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> </span><span class="code odd" style="--layer: 15" title="bb75: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
45:13-45:26: Assign: _41 = const 0_i32
|
||||
44:61-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">@75</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">75⦊</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">@74</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">@73:</span> if </span><span class="code even" style="--layer: 18" title="bb67: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">74⦊</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">73⦊</span>if </span><span class="code even" style="--layer: 18" title="bb67: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:46-44:60: StorageLive: StorageLive(_56)
|
||||
44:46-44:55: StorageLive: StorageLive(_57)
|
||||
44:46-44:55: Assign: _57 = _41
|
||||
44:46-44:60: Assign: _56 = Ne(move _57, const 9_i32)
|
||||
44:59-44:60: StorageDead: StorageDead(_57)
|
||||
44:12-44:60: SwitchInt: switchInt(move _56) -> [false: bb66, otherwise: bb65]"><span class="annotation">@67</span></span><span class="code even" style="--layer: 19" title="bb68: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: SwitchInt: switchInt(move _56) -> [false: bb66, otherwise: bb65]"><span class="annotation">67⦊</span></span><span class="code even" style="--layer: 19" title="bb68: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:59-44:60: StorageDead: StorageDead(_56)
|
||||
44:59-44:60: StorageDead: StorageDead(_51)
|
||||
44:12-44:60: FakeRead: FakeRead(ForMatchedPlace, _50)
|
||||
44:9-46:10: SwitchInt: switchInt(_50) -> [false: bb74, otherwise: bb73]"><span class="annotation">@68</span></span><span class="code even" style="--layer: 20" title="bb65: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: SwitchInt: switchInt(_50) -> [false: bb74, otherwise: bb73]"><span class="annotation">68⦊</span></span><span class="code even" style="--layer: 20" title="bb65: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const true
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">@65</span></span><span class="code even" style="--layer: 21" title="bb72: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">65⦊</span></span><span class="code even" style="--layer: 21" title="bb72: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:41-44:42: StorageDead: StorageDead(_54)
|
||||
44:41-44:42: StorageDead: StorageDead(_52)
|
||||
44:12-44:60: SwitchInt: switchInt(move _51) -> [false: bb67, otherwise: bb65]"><span class="annotation">@72</span></span><span class="code even" style="--layer: 22" title="bb64: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: SwitchInt: switchInt(move _51) -> [false: bb67, otherwise: bb65]"><span class="annotation">72⦊</span></span><span class="code even" style="--layer: 22" title="bb64: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: StorageLive: StorageLive(_49)
|
||||
44:12-44:60: StorageLive: StorageLive(_50)
|
||||
44:12-44:42: StorageLive: StorageLive(_51)
|
||||
@ -524,22 +664,54 @@
|
||||
44:12-44:21: Assign: _53 = _41
|
||||
44:12-44:25: Assign: _52 = Lt(move _53, const 1_i32)
|
||||
44:24-44:25: StorageDead: StorageDead(_53)
|
||||
44:12-44:42: SwitchInt: switchInt(move _52) -> [false: bb71, otherwise: bb69]"><span class="annotation">@64</span></span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:42: SwitchInt: switchInt(move _52) -> [false: bb71, otherwise: bb69]"><span class="annotation">64⦊</span></span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const false
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">@66</span></span><span class="code even" style="--layer: 24" title="bb69: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">66⦊</span></span><span class="code even" style="--layer: 24" title="bb69: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Assign: _51 = const true
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">@69</span></span><span class="code even" style="--layer: 25" title="bb71: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">69⦊</span></span><span class="code even" style="--layer: 25" title="bb71: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:29-44:42: StorageLive: StorageLive(_54)
|
||||
44:29-44:38: StorageLive: StorageLive(_55)
|
||||
44:29-44:38: Assign: _55 = _41
|
||||
44:29-44:42: Assign: _54 = Gt(move _55, const 5_i32)
|
||||
44:41-44:42: StorageDead: StorageDead(_55)
|
||||
44:12-44:42: SwitchInt: switchInt(move _54) -> [false: bb70, otherwise: bb69]"><span class="annotation">@71</span></span><span class="code even" style="--layer: 26" title="bb70: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: SwitchInt: switchInt(move _54) -> [false: bb70, otherwise: bb69]"><span class="annotation">71⦊</span></span><span class="code even" style="--layer: 26" title="bb70: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Assign: _51 = const false
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">@70:</span> countdown < 1 || countdown > 5</span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">70⦊</span>countdown < 1 || countdown > 5<span class="annotation">⦉70</span></span><span class="code even" style="--layer: 25" title="bb71: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:29-44:42: StorageLive: StorageLive(_54)
|
||||
44:29-44:38: StorageLive: StorageLive(_55)
|
||||
44:29-44:38: Assign: _55 = _41
|
||||
44:29-44:42: Assign: _54 = Gt(move _55, const 5_i32)
|
||||
44:41-44:42: StorageDead: StorageDead(_55)
|
||||
44:12-44:42: SwitchInt: switchInt(move _54) -> [false: bb70, otherwise: bb69]"><span class="annotation">⦉71</span></span><span class="code even" style="--layer: 24" title="bb69: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Assign: _51 = const true
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">⦉69</span></span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const false
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">@66:</span> || countdown != 9</span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">@73:</span> {</span></span>
|
||||
44:12-44:60: Goto: goto -> bb68"> || countdown != 9<span class="annotation">⦉66</span></span><span class="code even" style="--layer: 22" title="bb64: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: StorageLive: StorageLive(_49)
|
||||
44:12-44:60: StorageLive: StorageLive(_50)
|
||||
44:12-44:42: StorageLive: StorageLive(_51)
|
||||
44:12-44:25: StorageLive: StorageLive(_52)
|
||||
44:12-44:21: StorageLive: StorageLive(_53)
|
||||
44:12-44:21: Assign: _53 = _41
|
||||
44:12-44:25: Assign: _52 = Lt(move _53, const 1_i32)
|
||||
44:24-44:25: StorageDead: StorageDead(_53)
|
||||
44:12-44:42: SwitchInt: switchInt(move _52) -> [false: bb71, otherwise: bb69]"><span class="annotation">⦉64</span></span><span class="code even" style="--layer: 21" title="bb72: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:41-44:42: StorageDead: StorageDead(_54)
|
||||
44:41-44:42: StorageDead: StorageDead(_52)
|
||||
44:12-44:60: SwitchInt: switchInt(move _51) -> [false: bb67, otherwise: bb65]"><span class="annotation">⦉72</span></span><span class="code even" style="--layer: 20" title="bb65: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const true
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">⦉65</span></span><span class="code even" style="--layer: 19" title="bb68: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:59-44:60: StorageDead: StorageDead(_56)
|
||||
44:59-44:60: StorageDead: StorageDead(_51)
|
||||
44:12-44:60: FakeRead: FakeRead(ForMatchedPlace, _50)
|
||||
44:9-46:10: SwitchInt: switchInt(_50) -> [false: bb74, otherwise: bb73]"><span class="annotation">⦉68</span></span><span class="code even" style="--layer: 18" title="bb67: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:46-44:60: StorageLive: StorageLive(_56)
|
||||
44:46-44:55: StorageLive: StorageLive(_57)
|
||||
44:46-44:55: Assign: _57 = _41
|
||||
44:46-44:60: Assign: _56 = Ne(move _57, const 9_i32)
|
||||
44:59-44:60: StorageDead: StorageDead(_57)
|
||||
44:12-44:60: SwitchInt: switchInt(move _56) -> [false: bb66, otherwise: bb65]"><span class="annotation">⦉67</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"> countdown = 0;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
@ -547,13 +719,24 @@
|
||||
46:9-46:10: StorageDead: StorageDead(_50)
|
||||
46:9-46:10: StorageDead: StorageDead(_49)
|
||||
47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32)
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"><span class="annotation">@76:</span> }</span></span>
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"><span class="annotation">76⦊</span>}</span><span class="code odd" style="--layer: 15" title="bb75: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
45:13-45:26: Assign: _41 = const 0_i32
|
||||
44:61-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">⦉75</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">⦉74</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">⦉73</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">⦉73</span></span><span class="code odd" style="--layer: 18" title="bb76: ../instrument-coverage/coverage_of_if_else.rs:46:9: 47:23:
|
||||
46:9-46:10: StorageDead: StorageDead(_50)
|
||||
46:9-46:10: StorageDead: StorageDead(_49)
|
||||
47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32)
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"></span></span>
|
||||
<span class="line"><span class="code odd" style="--layer: 18" title="bb76: ../instrument-coverage/coverage_of_if_else.rs:46:9: 47:23:
|
||||
46:9-46:10: StorageDead: StorageDead(_50)
|
||||
46:9-46:10: StorageDead: StorageDead(_49)
|
||||
47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32)
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"> countdown -= 5</span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">@62:</span> ;</span></span>
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"> countdown -= 5<span class="annotation">⦉76</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> } else {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
@ -564,7 +747,7 @@
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
49:9-49:15: Goto: goto -> bb26"><span class="annotation">@63:</span> return;</span></span>
|
||||
49:9-49:15: Goto: goto -> bb26"><span class="annotation">63⦊</span>return;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 15" title="bb63: ../instrument-coverage/coverage_of_if_else.rs:49:9: 51:2:
|
||||
49:9-49:15: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
@ -572,12 +755,54 @@
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
49:9-49:15: Goto: goto -> bb26"> }</span><span class="code even" style="--layer: 16" title="bb78: ../instrument-coverage/coverage_of_if_else.rs:51:1: 51:2:
|
||||
49:9-49:15: Goto: goto -> bb26"> }</span><span class="code odd" style="--layer: 11" title="bb61: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
42:9-42:23: Assign: _41 = move (_46.0: i32)
|
||||
41:22-43:6: Assign: _0 = const ()
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉61</span></span><span class="code even" style="--layer: 12" title="bb58: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: FalseEdge: falseEdge -> [real: bb60, imaginary: bb59]"><span class="annotation">⦉58</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉77</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉77</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉77</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">⦉62</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">⦉62</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">⦉62</span></span><span class="code even" style="--layer: 15" title="bb63: ../instrument-coverage/coverage_of_if_else.rs:49:9: 51:2:
|
||||
49:9-49:15: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
51:1-51:2: StorageDead: StorageDead(_41)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
51:2-51:2: Goto: goto -> bb26"><span class="annotation">@78:</span> }</span><span><span class="code even" style="--layer: 1" title="bb26: ../instrument-coverage/coverage_of_if_else.rs:51:2: 51:2:
|
||||
51:2-51:2: Return: return"><span class="annotation">@26</span></span></span></span></div>
|
||||
49:9-49:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 16" title="bb78: ../instrument-coverage/coverage_of_if_else.rs:51:1: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_41)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
51:2-51:2: Goto: goto -> bb26"><span class="annotation">78⦊</span>}<span class="annotation">⦉78</span></span><span class="code even" style="--layer: 15" title="bb63: ../instrument-coverage/coverage_of_if_else.rs:49:9: 51:2:
|
||||
49:9-49:15: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
51:1-51:2: StorageDead: StorageDead(_41)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
49:9-49:15: Goto: goto -> bb26"><span class="annotation">⦉63</span></span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">⦉38</span></span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">⦉27</span></span><span><span class="code even" style="--layer: 1" title="bb26: ../instrument-coverage/coverage_of_if_else.rs:51:2: 51:2:
|
||||
51:2-51:2: Return: return"><span class="annotation">26⦊</span>‸<span class="annotation">⦉26</span></span></span></span></div>
|
||||
</body>
|
||||
</html>
|
||||
|
||||
@ -62,12 +62,12 @@
|
||||
<div class="code" style="counter-reset: line 2"><span class="line"><span class="code" style="--layer: 0">fn main() {</span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"> let mut countdown = 0;</span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="bb2: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: FalseEdge: falseEdge -> [real: bb4, imaginary: bb3]"><span class="annotation">@2</span></span></span><span class="code even" style="--layer: 2" title="bb4: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: FalseEdge: falseEdge -> [real: bb4, imaginary: bb3]"><span class="annotation">2⦊</span></span></span><span class="code even" style="--layer: 2" title="bb4: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
6:9-6:23: Assign: _1 = const 10_i32
|
||||
5:13-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">@4</span></span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">4⦊</span></span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">@3:</span> if </span><span class="code even" style="--layer: 4" title="bb0: ../instrument-coverage/coverage_of_if_else.rs:5:8: 5:12:
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">3⦊</span>if </span><span class="code even" style="--layer: 4" title="bb0: ../instrument-coverage/coverage_of_if_else.rs:5:8: 5:12:
|
||||
4:9-4:22: StorageLive: StorageLive(_1)
|
||||
4:25-4:26: Assign: _1 = const 0_i32
|
||||
4:9-4:22: FakeRead: FakeRead(ForLet, _1)
|
||||
@ -75,25 +75,29 @@
|
||||
5:8-5:12: StorageLive: StorageLive(_3)
|
||||
5:8-5:12: Assign: _3 = const true
|
||||
5:8-5:12: FakeRead: FakeRead(ForMatchedPlace, _3)
|
||||
5:5-7:6: SwitchInt: switchInt(_3) -> [false: bb3, otherwise: bb2]"><span class="annotation">@0:</span> true</span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: SwitchInt: switchInt(_3) -> [false: bb3, otherwise: bb2]"><span class="annotation">0⦊</span>true<span class="annotation">⦉0</span></span><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">@3:</span> {</span></span>
|
||||
5:5-7:6: Goto: goto -> bb5"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"> countdown = 10;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb3: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"> }</span><span class="code" style="--layer: 0"></span></span>
|
||||
5:5-7:6: Goto: goto -> bb5"> }<span class="annotation">⦉3</span></span><span class="code even" style="--layer: 2" title="bb4: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
6:9-6:23: Assign: _1 = const 10_i32
|
||||
5:13-7:6: Assign: _2 = const ()
|
||||
5:5-7:6: Goto: goto -> bb5"><span class="annotation">⦉4</span></span><span><span class="code even" style="--layer: 1" title="bb2: ../instrument-coverage/coverage_of_if_else.rs:5:5: 7:6:
|
||||
5:5-7:6: FalseEdge: falseEdge -> [real: bb4, imaginary: bb3]"><span class="annotation">⦉2</span></span></span><span class="code" style="--layer: 0"></span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"></span></span>
|
||||
<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code even" style="--layer: 1" title="bb6: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: FalseEdge: falseEdge -> [real: bb8, imaginary: bb7]"><span class="annotation">@6</span></span></span><span class="code even" style="--layer: 2" title="bb9: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
<span class="line"><span class="code" style="--layer: 0"> </span><span><span class="code odd" style="--layer: 1" title="bb6: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: FalseEdge: falseEdge -> [real: bb8, imaginary: bb7]"><span class="annotation">6⦊</span></span></span><span class="code even" style="--layer: 2" title="bb9: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
10:9-10:23: Assign: _1 = move (_7.0: i32)
|
||||
9:22-11:6: Assign: _4 = const ()
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@9</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">9⦊</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@25:</span> if </span><span class="code even" style="--layer: 4" title="bb5: ../instrument-coverage/coverage_of_if_else.rs:9:8: 9:21:
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">25⦊</span>if </span><span class="code even" style="--layer: 4" title="bb5: ../instrument-coverage/coverage_of_if_else.rs:9:8: 9:21:
|
||||
7:5-7:6: StorageDead: StorageDead(_3)
|
||||
7:5-7:6: StorageDead: StorageDead(_2)
|
||||
9:5-18:6: StorageLive: StorageLive(_4)
|
||||
@ -103,61 +107,61 @@
|
||||
9:8-9:21: Assign: _5 = Gt(move _6, const 7_i32)
|
||||
9:20-9:21: StorageDead: StorageDead(_6)
|
||||
9:8-9:21: FakeRead: FakeRead(ForMatchedPlace, _5)
|
||||
9:5-18:6: SwitchInt: switchInt(_5) -> [false: bb7, otherwise: bb6]"><span class="annotation">@5:</span> countdown > 7</span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: SwitchInt: switchInt(_5) -> [false: bb7, otherwise: bb6]"><span class="annotation">5⦊</span>countdown > 7<span class="annotation">⦉5</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@25:</span> {</span></span>
|
||||
9:5-18:6: Goto: goto -> bb28"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"> </span><span class="code odd" style="--layer: 4" title="bb8: ../instrument-coverage/coverage_of_if_else.rs:10:9: 10:23:
|
||||
10:9-10:23: Assign: _7 = CheckedSub(_1, const 4_i32)
|
||||
10:9-10:23: Assert: assert(!move (_7.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 4_i32) -> [success: bb9, unwind: bb1]"><span class="annotation">@8:</span> countdown -= 4</span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
10:9-10:23: Assert: assert(!move (_7.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 4_i32) -> [success: bb9, unwind: bb1]"><span class="annotation">8⦊</span>countdown -= 4<span class="annotation">⦉8</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">@25:</span> ;</span></span>
|
||||
9:5-18:6: Goto: goto -> bb28">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"> } else </span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">@10:</span> if </span><span class="code even" style="--layer: 5" title="bb7: ../instrument-coverage/coverage_of_if_else.rs:11:15: 11:28:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">10⦊</span>if </span><span class="code even" style="--layer: 5" title="bb7: ../instrument-coverage/coverage_of_if_else.rs:11:15: 11:28:
|
||||
11:15-11:28: StorageLive: StorageLive(_8)
|
||||
11:15-11:24: StorageLive: StorageLive(_9)
|
||||
11:15-11:24: Assign: _9 = _1
|
||||
11:15-11:28: Assign: _8 = Gt(move _9, const 2_i32)
|
||||
11:27-11:28: StorageDead: StorageDead(_9)
|
||||
11:15-11:28: FakeRead: FakeRead(ForMatchedPlace, _8)
|
||||
11:12-18:6: SwitchInt: switchInt(_8) -> [false: bb11, otherwise: bb10]"><span class="annotation">@7:</span> countdown > 2</span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">@10:</span> {</span></span>
|
||||
11:12-18:6: SwitchInt: switchInt(_8) -> [false: bb11, otherwise: bb10]"><span class="annotation">7⦊</span>countdown > 2<span class="annotation">⦉7</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> </span><span class="code odd" style="--layer: 5" title="bb22: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">@22</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">22⦊</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
13:13-13:26: Assign: _1 = const 0_i32
|
||||
12:61-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">@23</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">@21:</span> if </span><span class="code even" style="--layer: 8" title="bb14: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">23⦊</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">21⦊</span>if </span><span class="code even" style="--layer: 8" title="bb14: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const false
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">@14</span></span><span class="code even" style="--layer: 9" title="bb15: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">14⦊</span></span><span class="code even" style="--layer: 9" title="bb15: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:46-12:60: StorageLive: StorageLive(_17)
|
||||
12:46-12:55: StorageLive: StorageLive(_18)
|
||||
12:46-12:55: Assign: _18 = _1
|
||||
12:46-12:60: Assign: _17 = Ne(move _18, const 9_i32)
|
||||
12:59-12:60: StorageDead: StorageDead(_18)
|
||||
12:12-12:60: SwitchInt: switchInt(move _17) -> [false: bb14, otherwise: bb13]"><span class="annotation">@15</span></span><span class="code even" style="--layer: 10" title="bb16: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: SwitchInt: switchInt(move _17) -> [false: bb14, otherwise: bb13]"><span class="annotation">15⦊</span></span><span class="code even" style="--layer: 10" title="bb16: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:59-12:60: StorageDead: StorageDead(_17)
|
||||
12:59-12:60: StorageDead: StorageDead(_12)
|
||||
12:12-12:60: FakeRead: FakeRead(ForMatchedPlace, _11)
|
||||
12:9-14:10: SwitchInt: switchInt(_11) -> [false: bb22, otherwise: bb21]"><span class="annotation">@16</span></span><span class="code even" style="--layer: 11" title="bb13: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: SwitchInt: switchInt(_11) -> [false: bb22, otherwise: bb21]"><span class="annotation">16⦊</span></span><span class="code even" style="--layer: 11" title="bb13: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const true
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">@13</span></span><span class="code even" style="--layer: 12" title="bb20: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">13⦊</span></span><span class="code even" style="--layer: 12" title="bb20: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:41-12:42: StorageDead: StorageDead(_15)
|
||||
12:41-12:42: StorageDead: StorageDead(_13)
|
||||
12:12-12:60: SwitchInt: switchInt(move _12) -> [false: bb15, otherwise: bb13]"><span class="annotation">@20</span></span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: SwitchInt: switchInt(move _12) -> [false: bb15, otherwise: bb13]"><span class="annotation">20⦊</span></span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: StorageLive: StorageLive(_10)
|
||||
12:12-12:60: StorageLive: StorageLive(_11)
|
||||
12:12-12:42: StorageLive: StorageLive(_12)
|
||||
@ -166,17 +170,25 @@
|
||||
12:12-12:21: Assign: _14 = _1
|
||||
12:12-12:25: Assign: _13 = Lt(move _14, const 1_i32)
|
||||
12:24-12:25: StorageDead: StorageDead(_14)
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"><span class="annotation">@12</span></span><span class="code even" style="--layer: 14" title="bb18: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"><span class="annotation">12⦊</span></span><span class="code even" style="--layer: 14" title="bb18: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Assign: _12 = const false
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">@18</span></span><span class="code even" style="--layer: 15" title="bb19: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">18⦊</span></span><span class="code even" style="--layer: 15" title="bb19: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:29-12:42: StorageLive: StorageLive(_15)
|
||||
12:29-12:38: StorageLive: StorageLive(_16)
|
||||
12:29-12:38: Assign: _16 = _1
|
||||
12:29-12:42: Assign: _15 = Gt(move _16, const 5_i32)
|
||||
12:41-12:42: StorageDead: StorageDead(_16)
|
||||
12:12-12:42: SwitchInt: switchInt(move _15) -> [false: bb18, otherwise: bb17]"><span class="annotation">@19</span></span><span class="code even" style="--layer: 16" title="bb17: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: SwitchInt: switchInt(move _15) -> [false: bb18, otherwise: bb17]"><span class="annotation">19⦊</span></span><span class="code even" style="--layer: 16" title="bb17: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Assign: _12 = const true
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">@17:</span> countdown < 1 || countdown > 5</span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">17⦊</span>countdown < 1 || countdown > 5<span class="annotation">⦉17</span></span><span class="code even" style="--layer: 15" title="bb19: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:29-12:42: StorageLive: StorageLive(_15)
|
||||
12:29-12:38: StorageLive: StorageLive(_16)
|
||||
12:29-12:38: Assign: _16 = _1
|
||||
12:29-12:42: Assign: _15 = Gt(move _16, const 5_i32)
|
||||
12:41-12:42: StorageDead: StorageDead(_16)
|
||||
12:12-12:42: SwitchInt: switchInt(move _15) -> [false: bb18, otherwise: bb17]"><span class="annotation">⦉19</span></span><span class="code even" style="--layer: 14" title="bb18: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:42:
|
||||
12:12-12:42: Assign: _12 = const false
|
||||
12:12-12:42: Goto: goto -> bb20"><span class="annotation">⦉18</span></span><span class="code even" style="--layer: 13" title="bb12: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:9-14:10: StorageLive: StorageLive(_10)
|
||||
12:12-12:60: StorageLive: StorageLive(_11)
|
||||
12:12-12:42: StorageLive: StorageLive(_12)
|
||||
@ -185,8 +197,25 @@
|
||||
12:12-12:21: Assign: _14 = _1
|
||||
12:12-12:25: Assign: _13 = Lt(move _14, const 1_i32)
|
||||
12:24-12:25: StorageDead: StorageDead(_14)
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"><span class="annotation">@12:</span> || countdown != 9</span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">@21:</span> {</span></span>
|
||||
12:12-12:42: SwitchInt: switchInt(move _13) -> [false: bb19, otherwise: bb17]"> || countdown != 9<span class="annotation">⦉12</span></span><span class="code even" style="--layer: 12" title="bb20: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:41-12:42: StorageDead: StorageDead(_15)
|
||||
12:41-12:42: StorageDead: StorageDead(_13)
|
||||
12:12-12:60: SwitchInt: switchInt(move _12) -> [false: bb15, otherwise: bb13]"><span class="annotation">⦉20</span></span><span class="code even" style="--layer: 11" title="bb13: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const true
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">⦉13</span></span><span class="code even" style="--layer: 10" title="bb16: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:59-12:60: StorageDead: StorageDead(_17)
|
||||
12:59-12:60: StorageDead: StorageDead(_12)
|
||||
12:12-12:60: FakeRead: FakeRead(ForMatchedPlace, _11)
|
||||
12:9-14:10: SwitchInt: switchInt(_11) -> [false: bb22, otherwise: bb21]"><span class="annotation">⦉16</span></span><span class="code even" style="--layer: 9" title="bb15: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:46-12:60: StorageLive: StorageLive(_17)
|
||||
12:46-12:55: StorageLive: StorageLive(_18)
|
||||
12:46-12:55: Assign: _18 = _1
|
||||
12:46-12:60: Assign: _17 = Ne(move _18, const 9_i32)
|
||||
12:59-12:60: StorageDead: StorageDead(_18)
|
||||
12:12-12:60: SwitchInt: switchInt(move _17) -> [false: bb14, otherwise: bb13]"><span class="annotation">⦉15</span></span><span class="code even" style="--layer: 8" title="bb14: ../instrument-coverage/coverage_of_if_else.rs:12:12: 12:60:
|
||||
12:12-12:60: Assign: _11 = const false
|
||||
12:12-12:60: Goto: goto -> bb16"><span class="annotation">⦉14</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"> countdown = 0;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
@ -194,32 +223,67 @@
|
||||
14:9-14:10: StorageDead: StorageDead(_11)
|
||||
14:9-14:10: StorageDead: StorageDead(_10)
|
||||
15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32)
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"><span class="annotation">@24:</span> }</span></span>
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"><span class="annotation">24⦊</span>}</span><span class="code odd" style="--layer: 5" title="bb22: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">⦉22</span></span><span class="code even" style="--layer: 6" title="bb23: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
13:13-13:26: Assign: _1 = const 0_i32
|
||||
12:61-14:10: Assign: _10 = const ()
|
||||
12:9-14:10: Goto: goto -> bb24"><span class="annotation">⦉23</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">⦉21</span></span><span class="code even" style="--layer: 7" title="bb21: ../instrument-coverage/coverage_of_if_else.rs:12:9: 14:10:
|
||||
12:9-14:10: FalseEdge: falseEdge -> [real: bb23, imaginary: bb22]"><span class="annotation">⦉21</span></span><span class="code odd" style="--layer: 8" title="bb24: ../instrument-coverage/coverage_of_if_else.rs:14:9: 15:23:
|
||||
14:9-14:10: StorageDead: StorageDead(_11)
|
||||
14:9-14:10: StorageDead: StorageDead(_10)
|
||||
15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32)
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"></span></span>
|
||||
<span class="line"><span class="code odd" style="--layer: 8" title="bb24: ../instrument-coverage/coverage_of_if_else.rs:14:9: 15:23:
|
||||
14:9-14:10: StorageDead: StorageDead(_11)
|
||||
14:9-14:10: StorageDead: StorageDead(_10)
|
||||
15:9-15:23: Assign: _19 = CheckedSub(_1, const 5_i32)
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"> countdown -= 5</span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">@10:</span> ;</span></span>
|
||||
15:9-15:23: Assert: assert(!move (_19.1: bool), "attempt to compute `{} - {}` which would overflow", _1, const 5_i32) -> [success: bb25, unwind: bb1]"> countdown -= 5<span class="annotation">⦉24</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> } else {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"> </span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">@27</span></span><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">27⦊</span></span><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Assign: _0 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
17:9-17:15: Goto: goto -> bb27"><span class="annotation">@11:</span> return;</span></span>
|
||||
17:9-17:15: Goto: goto -> bb27"><span class="annotation">11⦊</span>return;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Assign: _0 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
17:9-17:15: Goto: goto -> bb27"> }</span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
17:9-17:15: Goto: goto -> bb27"> }<span class="annotation">⦉11</span></span><span><span class="code odd" style="--layer: 1" title="bb6: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
9:5-18:6: FalseEdge: falseEdge -> [real: bb8, imaginary: bb7]"><span class="annotation">⦉6</span></span></span><span class="code even" style="--layer: 2" title="bb9: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
10:9-10:23: Assign: _1 = move (_7.0: i32)
|
||||
9:22-11:6: Assign: _4 = const ()
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉9</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉25</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉25</span></span><span class="code even" style="--layer: 3" title="bb25: ../instrument-coverage/coverage_of_if_else.rs:9:5: 18:6:
|
||||
15:9-15:23: Assign: _1 = move (_19.0: i32)
|
||||
11:29-16:6: Assign: _4 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
9:5-18:6: Goto: goto -> bb28"><span class="annotation">⦉25</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">⦉10</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">⦉10</span></span><span class="code even" style="--layer: 4" title="bb10: ../instrument-coverage/coverage_of_if_else.rs:11:12: 18:6:
|
||||
11:12-18:6: FalseEdge: falseEdge -> [real: bb12, imaginary: bb11]"><span class="annotation">⦉10</span></span><span class="code even" style="--layer: 6" title="bb11: ../instrument-coverage/coverage_of_if_else.rs:17:9: 18:6:
|
||||
17:9-17:15: Assign: _0 = const ()
|
||||
18:5-18:6: StorageDead: StorageDead(_8)
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
17:9-17:15: Goto: goto -> bb27"><span class="annotation">⦉11</span></span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">@27:</span> </span></span>
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
@ -230,11 +294,11 @@
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"> </span><span class="code odd" style="--layer: 6" title="bb30: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">@30</span></span><span class="code even" style="--layer: 7" title="bb31: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">30⦊</span></span><span class="code even" style="--layer: 7" title="bb31: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
22:9-22:23: Assign: _21 = const 10_i32
|
||||
21:13-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">@31</span></span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"><span class="annotation">@29:</span> if </span><span class="code even" style="--layer: 9" title="bb28: ../instrument-coverage/coverage_of_if_else.rs:21:8: 21:12:
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">31⦊</span></span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"><span class="annotation">29⦊</span>if </span><span class="code even" style="--layer: 9" title="bb28: ../instrument-coverage/coverage_of_if_else.rs:21:8: 21:12:
|
||||
18:5-18:6: StorageDead: StorageDead(_5)
|
||||
18:5-18:6: StorageDead: StorageDead(_4)
|
||||
20:9-20:22: StorageLive: StorageLive(_21)
|
||||
@ -244,28 +308,33 @@
|
||||
21:8-21:12: StorageLive: StorageLive(_23)
|
||||
21:8-21:12: Assign: _23 = const true
|
||||
21:8-21:12: FakeRead: FakeRead(ForMatchedPlace, _23)
|
||||
21:5-23:6: SwitchInt: switchInt(_23) -> [false: bb30, otherwise: bb29]"><span class="annotation">@28:</span> true</span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"><span class="annotation">@29:</span> {</span></span>
|
||||
21:5-23:6: SwitchInt: switchInt(_23) -> [false: bb30, otherwise: bb29]"><span class="annotation">28⦊</span>true<span class="annotation">⦉28</span></span><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> countdown = 10;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb29: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> }</span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
21:5-23:6: FalseEdge: falseEdge -> [real: bb31, imaginary: bb30]"> }<span class="annotation">⦉29</span></span><span class="code even" style="--layer: 7" title="bb31: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
22:9-22:23: Assign: _21 = const 10_i32
|
||||
21:13-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">⦉31</span></span><span class="code odd" style="--layer: 6" title="bb30: ../instrument-coverage/coverage_of_if_else.rs:21:5: 23:6:
|
||||
21:5-23:6: Assign: _22 = const ()
|
||||
21:5-23:6: Goto: goto -> bb32"><span class="annotation">⦉30</span></span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">@27:</span> </span></span>
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"> </span><span class="code even" style="--layer: 6" title="bb33: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: FalseEdge: falseEdge -> [real: bb35, imaginary: bb34]"><span class="annotation">@33</span></span><span class="code even" style="--layer: 7" title="bb52: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: FalseEdge: falseEdge -> [real: bb35, imaginary: bb34]"><span class="annotation">33⦊</span></span><span class="code even" style="--layer: 7" title="bb52: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
31:9-31:23: Assign: _21 = move (_39.0: i32)
|
||||
27:29-32:6: Assign: _24 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@52</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">52⦊</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@36:</span> if </span><span class="code even" style="--layer: 9" title="bb32: ../instrument-coverage/coverage_of_if_else.rs:25:8: 25:21:
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">36⦊</span>if </span><span class="code even" style="--layer: 9" title="bb32: ../instrument-coverage/coverage_of_if_else.rs:25:8: 25:21:
|
||||
23:5-23:6: StorageDead: StorageDead(_23)
|
||||
23:5-23:6: StorageDead: StorageDead(_22)
|
||||
25:5-34:6: StorageLive: StorageLive(_24)
|
||||
@ -275,40 +344,40 @@
|
||||
25:8-25:21: Assign: _25 = Gt(move _26, const 7_i32)
|
||||
25:20-25:21: StorageDead: StorageDead(_26)
|
||||
25:8-25:21: FakeRead: FakeRead(ForMatchedPlace, _25)
|
||||
25:5-34:6: SwitchInt: switchInt(_25) -> [false: bb34, otherwise: bb33]"><span class="annotation">@32:</span> countdown > 7</span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: SwitchInt: switchInt(_25) -> [false: bb34, otherwise: bb33]"><span class="annotation">32⦊</span>countdown > 7<span class="annotation">⦉32</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@36:</span> {</span></span>
|
||||
25:5-34:6: Goto: goto -> bb53"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"> </span><span class="code odd" style="--layer: 9" title="bb35: ../instrument-coverage/coverage_of_if_else.rs:26:9: 26:23:
|
||||
26:9-26:23: Assign: _27 = CheckedSub(_21, const 4_i32)
|
||||
26:9-26:23: Assert: assert(!move (_27.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 4_i32) -> [success: bb36, unwind: bb1]"><span class="annotation">@35:</span> countdown -= 4</span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assert: assert(!move (_27.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 4_i32) -> [success: bb36, unwind: bb1]"><span class="annotation">35⦊</span>countdown -= 4<span class="annotation">⦉35</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">@36:</span> ;</span></span>
|
||||
25:5-34:6: Goto: goto -> bb53">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"> } else </span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">@37:</span> if </span><span class="code even" style="--layer: 10" title="bb34: ../instrument-coverage/coverage_of_if_else.rs:27:15: 27:28:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">37⦊</span>if </span><span class="code even" style="--layer: 10" title="bb34: ../instrument-coverage/coverage_of_if_else.rs:27:15: 27:28:
|
||||
27:15-27:28: StorageLive: StorageLive(_28)
|
||||
27:15-27:24: StorageLive: StorageLive(_29)
|
||||
27:15-27:24: Assign: _29 = _21
|
||||
27:15-27:28: Assign: _28 = Gt(move _29, const 2_i32)
|
||||
27:27-27:28: StorageDead: StorageDead(_29)
|
||||
27:15-27:28: FakeRead: FakeRead(ForMatchedPlace, _28)
|
||||
27:12-34:6: SwitchInt: switchInt(_28) -> [false: bb38, otherwise: bb37]"><span class="annotation">@34:</span> countdown > 2</span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">@37:</span> {</span></span>
|
||||
27:12-34:6: SwitchInt: switchInt(_28) -> [false: bb38, otherwise: bb37]"><span class="annotation">34⦊</span>countdown > 2<span class="annotation">⦉34</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> </span><span class="code odd" style="--layer: 10" title="bb48: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">@48</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">48⦊</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
29:13-29:26: Assign: _21 = const 0_i32
|
||||
28:61-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">@50</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">50⦊</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">@49:</span> if </span><span class="code even" style="--layer: 13" title="bb39: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">49⦊</span>if </span><span class="code even" style="--layer: 13" title="bb39: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: StorageLive: StorageLive(_30)
|
||||
28:12-28:60: StorageLive: StorageLive(_31)
|
||||
28:12-28:42: StorageLive: StorageLive(_32)
|
||||
@ -317,38 +386,70 @@
|
||||
28:12-28:21: Assign: _34 = _21
|
||||
28:12-28:25: Assign: _33 = Lt(move _34, const 1_i32)
|
||||
28:24-28:25: StorageDead: StorageDead(_34)
|
||||
28:12-28:42: SwitchInt: switchInt(move _33) -> [false: bb46, otherwise: bb44]"><span class="annotation">@39</span></span><span class="code even" style="--layer: 14" title="bb47: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:42: SwitchInt: switchInt(move _33) -> [false: bb46, otherwise: bb44]"><span class="annotation">39⦊</span></span><span class="code even" style="--layer: 14" title="bb47: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:41-28:42: StorageDead: StorageDead(_35)
|
||||
28:41-28:42: StorageDead: StorageDead(_33)
|
||||
28:12-28:60: SwitchInt: switchInt(move _32) -> [false: bb42, otherwise: bb40]"><span class="annotation">@47</span></span><span class="code even" style="--layer: 15" title="bb40: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: SwitchInt: switchInt(move _32) -> [false: bb42, otherwise: bb40]"><span class="annotation">47⦊</span></span><span class="code even" style="--layer: 15" title="bb40: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const true
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">@40</span></span><span class="code even" style="--layer: 16" title="bb43: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">40⦊</span></span><span class="code even" style="--layer: 16" title="bb43: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:59-28:60: StorageDead: StorageDead(_37)
|
||||
28:59-28:60: StorageDead: StorageDead(_32)
|
||||
28:12-28:60: FakeRead: FakeRead(ForMatchedPlace, _31)
|
||||
28:9-30:10: SwitchInt: switchInt(_31) -> [false: bb49, otherwise: bb48]"><span class="annotation">@43</span></span><span class="code even" style="--layer: 17" title="bb42: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: SwitchInt: switchInt(_31) -> [false: bb49, otherwise: bb48]"><span class="annotation">43⦊</span></span><span class="code even" style="--layer: 17" title="bb42: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:46-28:60: StorageLive: StorageLive(_37)
|
||||
28:46-28:55: StorageLive: StorageLive(_38)
|
||||
28:46-28:55: Assign: _38 = _21
|
||||
28:46-28:60: Assign: _37 = Ne(move _38, const 9_i32)
|
||||
28:59-28:60: StorageDead: StorageDead(_38)
|
||||
28:12-28:60: SwitchInt: switchInt(move _37) -> [false: bb41, otherwise: bb40]"><span class="annotation">@42</span></span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: SwitchInt: switchInt(move _37) -> [false: bb41, otherwise: bb40]"><span class="annotation">42⦊</span></span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const false
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">@41</span></span><span class="code even" style="--layer: 19" title="bb46: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">41⦊</span></span><span class="code even" style="--layer: 19" title="bb46: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:29-28:42: StorageLive: StorageLive(_35)
|
||||
28:29-28:38: StorageLive: StorageLive(_36)
|
||||
28:29-28:38: Assign: _36 = _21
|
||||
28:29-28:42: Assign: _35 = Gt(move _36, const 5_i32)
|
||||
28:41-28:42: StorageDead: StorageDead(_36)
|
||||
28:12-28:42: SwitchInt: switchInt(move _35) -> [false: bb45, otherwise: bb44]"><span class="annotation">@46</span></span><span class="code even" style="--layer: 20" title="bb45: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: SwitchInt: switchInt(move _35) -> [false: bb45, otherwise: bb44]"><span class="annotation">46⦊</span></span><span class="code even" style="--layer: 20" title="bb45: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Assign: _32 = const false
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">@45</span></span><span class="code even" style="--layer: 21" title="bb44: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">45⦊</span></span><span class="code even" style="--layer: 21" title="bb44: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Assign: _32 = const true
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">@44:</span> countdown < 1 || countdown > 5</span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">44⦊</span>countdown < 1 || countdown > 5<span class="annotation">⦉44</span></span><span class="code even" style="--layer: 20" title="bb45: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:12-28:42: Assign: _32 = const false
|
||||
28:12-28:42: Goto: goto -> bb47"><span class="annotation">⦉45</span></span><span class="code even" style="--layer: 19" title="bb46: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:42:
|
||||
28:29-28:42: StorageLive: StorageLive(_35)
|
||||
28:29-28:38: StorageLive: StorageLive(_36)
|
||||
28:29-28:38: Assign: _36 = _21
|
||||
28:29-28:42: Assign: _35 = Gt(move _36, const 5_i32)
|
||||
28:41-28:42: StorageDead: StorageDead(_36)
|
||||
28:12-28:42: SwitchInt: switchInt(move _35) -> [false: bb45, otherwise: bb44]"><span class="annotation">⦉46</span></span><span class="code even" style="--layer: 18" title="bb41: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const false
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">@41:</span> || countdown != 9</span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:12-28:60: Goto: goto -> bb43"> || countdown != 9<span class="annotation">⦉41</span></span><span class="code even" style="--layer: 17" title="bb42: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:46-28:60: StorageLive: StorageLive(_37)
|
||||
28:46-28:55: StorageLive: StorageLive(_38)
|
||||
28:46-28:55: Assign: _38 = _21
|
||||
28:46-28:60: Assign: _37 = Ne(move _38, const 9_i32)
|
||||
28:59-28:60: StorageDead: StorageDead(_38)
|
||||
28:12-28:60: SwitchInt: switchInt(move _37) -> [false: bb41, otherwise: bb40]"><span class="annotation">⦉42</span></span><span class="code even" style="--layer: 16" title="bb43: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:59-28:60: StorageDead: StorageDead(_37)
|
||||
28:59-28:60: StorageDead: StorageDead(_32)
|
||||
28:12-28:60: FakeRead: FakeRead(ForMatchedPlace, _31)
|
||||
28:9-30:10: SwitchInt: switchInt(_31) -> [false: bb49, otherwise: bb48]"><span class="annotation">⦉43</span></span><span class="code even" style="--layer: 15" title="bb40: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:12-28:60: Assign: _31 = const true
|
||||
28:12-28:60: Goto: goto -> bb43"><span class="annotation">⦉40</span></span><span class="code even" style="--layer: 14" title="bb47: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:41-28:42: StorageDead: StorageDead(_35)
|
||||
28:41-28:42: StorageDead: StorageDead(_33)
|
||||
28:12-28:60: SwitchInt: switchInt(move _32) -> [false: bb42, otherwise: bb40]"><span class="annotation">⦉47</span></span><span class="code even" style="--layer: 13" title="bb39: ../instrument-coverage/coverage_of_if_else.rs:28:12: 28:60:
|
||||
28:9-30:10: StorageLive: StorageLive(_30)
|
||||
28:12-28:60: StorageLive: StorageLive(_31)
|
||||
28:12-28:42: StorageLive: StorageLive(_32)
|
||||
28:12-28:25: StorageLive: StorageLive(_33)
|
||||
28:12-28:21: StorageLive: StorageLive(_34)
|
||||
28:12-28:21: Assign: _34 = _21
|
||||
28:12-28:25: Assign: _33 = Lt(move _34, const 1_i32)
|
||||
28:24-28:25: StorageDead: StorageDead(_34)
|
||||
28:12-28:42: SwitchInt: switchInt(move _33) -> [false: bb46, otherwise: bb44]"><span class="annotation">⦉39</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">@49:</span> {</span></span>
|
||||
28:9-30:10: Goto: goto -> bb51"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"> countdown = 0;</span></span>
|
||||
@ -358,13 +459,25 @@
|
||||
30:9-30:10: StorageDead: StorageDead(_31)
|
||||
30:9-30:10: StorageDead: StorageDead(_30)
|
||||
31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32)
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"><span class="annotation">@51:</span> }</span></span>
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"><span class="annotation">51⦊</span>}</span><span class="code odd" style="--layer: 10" title="bb48: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: FalseEdge: falseEdge -> [real: bb50, imaginary: bb49]"><span class="annotation">⦉48</span></span><span class="code even" style="--layer: 11" title="bb50: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
29:13-29:26: Assign: _21 = const 0_i32
|
||||
28:61-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">⦉50</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">⦉49</span></span><span class="code even" style="--layer: 12" title="bb49: ../instrument-coverage/coverage_of_if_else.rs:28:9: 30:10:
|
||||
28:9-30:10: Assign: _30 = const ()
|
||||
28:9-30:10: Goto: goto -> bb51"><span class="annotation">⦉49</span></span><span class="code odd" style="--layer: 13" title="bb51: ../instrument-coverage/coverage_of_if_else.rs:30:9: 31:23:
|
||||
30:9-30:10: StorageDead: StorageDead(_31)
|
||||
30:9-30:10: StorageDead: StorageDead(_30)
|
||||
31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32)
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"></span></span>
|
||||
<span class="line"><span class="code odd" style="--layer: 13" title="bb51: ../instrument-coverage/coverage_of_if_else.rs:30:9: 31:23:
|
||||
30:9-30:10: StorageDead: StorageDead(_31)
|
||||
30:9-30:10: StorageDead: StorageDead(_30)
|
||||
31:9-31:23: Assign: _39 = CheckedSub(_21, const 5_i32)
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"> countdown -= 5</span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">@37:</span> ;</span></span>
|
||||
31:9-31:23: Assert: assert(!move (_39.1: bool), "attempt to compute `{} - {}` which would overflow", _21, const 5_i32) -> [success: bb52, unwind: bb1]"> countdown -= 5<span class="annotation">⦉51</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"> } else {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
@ -374,14 +487,37 @@
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">@38:</span> return;</span></span>
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">38⦊</span>return;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"> }</span></span>
|
||||
33:9-33:15: Goto: goto -> bb27"> }</span><span class="code even" style="--layer: 6" title="bb33: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
25:5-34:6: FalseEdge: falseEdge -> [real: bb35, imaginary: bb34]"><span class="annotation">⦉33</span></span><span class="code even" style="--layer: 7" title="bb52: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
31:9-31:23: Assign: _21 = move (_39.0: i32)
|
||||
27:29-32:6: Assign: _24 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉52</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉36</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉36</span></span><span class="code even" style="--layer: 8" title="bb36: ../instrument-coverage/coverage_of_if_else.rs:25:5: 34:6:
|
||||
26:9-26:23: Assign: _21 = move (_27.0: i32)
|
||||
25:22-27:6: Assign: _24 = const ()
|
||||
25:5-34:6: Goto: goto -> bb53"><span class="annotation">⦉36</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">⦉37</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">⦉37</span></span><span class="code even" style="--layer: 9" title="bb37: ../instrument-coverage/coverage_of_if_else.rs:27:12: 34:6:
|
||||
27:12-34:6: FalseEdge: falseEdge -> [real: bb39, imaginary: bb38]"><span class="annotation">⦉37</span></span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
@ -405,10 +541,10 @@
|
||||
33:9-33:15: Goto: goto -> bb27"> </span><span class="code even" style="--layer: 11" title="bb56: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
38:9-38:23: Assign: _41 = const 10_i32
|
||||
37:13-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">@56</span></span><span class="code even" style="--layer: 12" title="bb54: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: FalseEdge: falseEdge -> [real: bb56, imaginary: bb55]"><span class="annotation">@54</span></span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">56⦊</span></span><span class="code even" style="--layer: 12" title="bb54: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: FalseEdge: falseEdge -> [real: bb56, imaginary: bb55]"><span class="annotation">54⦊</span></span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">@55:</span> if </span><span class="code even" style="--layer: 14" title="bb53: ../instrument-coverage/coverage_of_if_else.rs:37:8: 37:12:
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">55⦊</span>if </span><span class="code even" style="--layer: 14" title="bb53: ../instrument-coverage/coverage_of_if_else.rs:37:8: 37:12:
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
36:9-36:22: StorageLive: StorageLive(_41)
|
||||
@ -418,21 +554,25 @@
|
||||
37:8-37:12: StorageLive: StorageLive(_43)
|
||||
37:8-37:12: Assign: _43 = const true
|
||||
37:8-37:12: FakeRead: FakeRead(ForMatchedPlace, _43)
|
||||
37:5-39:6: SwitchInt: switchInt(_43) -> [false: bb55, otherwise: bb54]"><span class="annotation">@53:</span> true</span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: SwitchInt: switchInt(_43) -> [false: bb55, otherwise: bb54]"><span class="annotation">53⦊</span>true<span class="annotation">⦉53</span></span><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">@55:</span> {</span></span>
|
||||
37:5-39:6: Goto: goto -> bb57"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"> countdown = 10;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb55: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"> }</span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
37:5-39:6: Goto: goto -> bb57"> }<span class="annotation">⦉55</span></span><span class="code even" style="--layer: 12" title="bb54: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
37:5-39:6: FalseEdge: falseEdge -> [real: bb56, imaginary: bb55]"><span class="annotation">⦉54</span></span><span class="code even" style="--layer: 11" title="bb56: ../instrument-coverage/coverage_of_if_else.rs:37:5: 39:6:
|
||||
38:9-38:23: Assign: _41 = const 10_i32
|
||||
37:13-39:6: Assign: _42 = const ()
|
||||
37:5-39:6: Goto: goto -> bb57"><span class="annotation">⦉56</span></span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">@38:</span> </span></span>
|
||||
33:9-33:15: Goto: goto -> bb27"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
@ -449,12 +589,12 @@
|
||||
33:9-33:15: Goto: goto -> bb27"> </span><span class="code odd" style="--layer: 11" title="bb61: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
42:9-42:23: Assign: _41 = move (_46.0: i32)
|
||||
41:22-43:6: Assign: _0 = const ()
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@61</span></span><span class="code even" style="--layer: 12" title="bb58: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: FalseEdge: falseEdge -> [real: bb60, imaginary: bb59]"><span class="annotation">@58</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">61⦊</span></span><span class="code even" style="--layer: 12" title="bb58: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: FalseEdge: falseEdge -> [real: bb60, imaginary: bb59]"><span class="annotation">58⦊</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@77:</span> if </span><span class="code even" style="--layer: 14" title="bb57: ../instrument-coverage/coverage_of_if_else.rs:41:8: 41:21:
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">77⦊</span>if </span><span class="code even" style="--layer: 14" title="bb57: ../instrument-coverage/coverage_of_if_else.rs:41:8: 41:21:
|
||||
39:5-39:6: StorageDead: StorageDead(_43)
|
||||
39:5-39:6: StorageDead: StorageDead(_42)
|
||||
41:8-41:21: StorageLive: StorageLive(_44)
|
||||
@ -463,59 +603,59 @@
|
||||
41:8-41:21: Assign: _44 = Gt(move _45, const 7_i32)
|
||||
41:20-41:21: StorageDead: StorageDead(_45)
|
||||
41:8-41:21: FakeRead: FakeRead(ForMatchedPlace, _44)
|
||||
41:5-50:6: SwitchInt: switchInt(_44) -> [false: bb59, otherwise: bb58]"><span class="annotation">@57:</span> countdown > 7</span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: SwitchInt: switchInt(_44) -> [false: bb59, otherwise: bb58]"><span class="annotation">57⦊</span>countdown > 7<span class="annotation">⦉57</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@77:</span> {</span></span>
|
||||
41:5-50:6: Goto: goto -> bb78"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"> </span><span class="code odd" style="--layer: 14" title="bb60: ../instrument-coverage/coverage_of_if_else.rs:42:9: 42:23:
|
||||
42:9-42:23: Assign: _46 = CheckedSub(_41, const 4_i32)
|
||||
42:9-42:23: Assert: assert(!move (_46.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 4_i32) -> [success: bb61, unwind: bb1]"><span class="annotation">@60:</span> countdown -= 4</span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
42:9-42:23: Assert: assert(!move (_46.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 4_i32) -> [success: bb61, unwind: bb1]"><span class="annotation">60⦊</span>countdown -= 4<span class="annotation">⦉60</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">@77:</span> ;</span></span>
|
||||
41:5-50:6: Goto: goto -> bb78">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"> } else </span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">@62:</span> if </span><span class="code even" style="--layer: 15" title="bb59: ../instrument-coverage/coverage_of_if_else.rs:43:15: 43:28:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">62⦊</span>if </span><span class="code even" style="--layer: 15" title="bb59: ../instrument-coverage/coverage_of_if_else.rs:43:15: 43:28:
|
||||
43:15-43:28: StorageLive: StorageLive(_47)
|
||||
43:15-43:24: StorageLive: StorageLive(_48)
|
||||
43:15-43:24: Assign: _48 = _41
|
||||
43:15-43:28: Assign: _47 = Gt(move _48, const 2_i32)
|
||||
43:27-43:28: StorageDead: StorageDead(_48)
|
||||
43:15-43:28: FakeRead: FakeRead(ForMatchedPlace, _47)
|
||||
43:12-50:6: SwitchInt: switchInt(_47) -> [false: bb63, otherwise: bb62]"><span class="annotation">@59:</span> countdown > 2</span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">@62:</span> {</span></span>
|
||||
43:12-50:6: SwitchInt: switchInt(_47) -> [false: bb63, otherwise: bb62]"><span class="annotation">59⦊</span>countdown > 2<span class="annotation">⦉59</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> </span><span class="code odd" style="--layer: 15" title="bb75: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
45:13-45:26: Assign: _41 = const 0_i32
|
||||
44:61-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">@75</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">75⦊</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">@74</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">@73:</span> if </span><span class="code even" style="--layer: 18" title="bb67: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">74⦊</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">73⦊</span>if </span><span class="code even" style="--layer: 18" title="bb67: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:46-44:60: StorageLive: StorageLive(_56)
|
||||
44:46-44:55: StorageLive: StorageLive(_57)
|
||||
44:46-44:55: Assign: _57 = _41
|
||||
44:46-44:60: Assign: _56 = Ne(move _57, const 9_i32)
|
||||
44:59-44:60: StorageDead: StorageDead(_57)
|
||||
44:12-44:60: SwitchInt: switchInt(move _56) -> [false: bb66, otherwise: bb65]"><span class="annotation">@67</span></span><span class="code even" style="--layer: 19" title="bb68: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: SwitchInt: switchInt(move _56) -> [false: bb66, otherwise: bb65]"><span class="annotation">67⦊</span></span><span class="code even" style="--layer: 19" title="bb68: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:59-44:60: StorageDead: StorageDead(_56)
|
||||
44:59-44:60: StorageDead: StorageDead(_51)
|
||||
44:12-44:60: FakeRead: FakeRead(ForMatchedPlace, _50)
|
||||
44:9-46:10: SwitchInt: switchInt(_50) -> [false: bb74, otherwise: bb73]"><span class="annotation">@68</span></span><span class="code even" style="--layer: 20" title="bb65: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: SwitchInt: switchInt(_50) -> [false: bb74, otherwise: bb73]"><span class="annotation">68⦊</span></span><span class="code even" style="--layer: 20" title="bb65: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const true
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">@65</span></span><span class="code even" style="--layer: 21" title="bb72: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">65⦊</span></span><span class="code even" style="--layer: 21" title="bb72: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:41-44:42: StorageDead: StorageDead(_54)
|
||||
44:41-44:42: StorageDead: StorageDead(_52)
|
||||
44:12-44:60: SwitchInt: switchInt(move _51) -> [false: bb67, otherwise: bb65]"><span class="annotation">@72</span></span><span class="code even" style="--layer: 22" title="bb64: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: SwitchInt: switchInt(move _51) -> [false: bb67, otherwise: bb65]"><span class="annotation">72⦊</span></span><span class="code even" style="--layer: 22" title="bb64: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: StorageLive: StorageLive(_49)
|
||||
44:12-44:60: StorageLive: StorageLive(_50)
|
||||
44:12-44:42: StorageLive: StorageLive(_51)
|
||||
@ -524,22 +664,54 @@
|
||||
44:12-44:21: Assign: _53 = _41
|
||||
44:12-44:25: Assign: _52 = Lt(move _53, const 1_i32)
|
||||
44:24-44:25: StorageDead: StorageDead(_53)
|
||||
44:12-44:42: SwitchInt: switchInt(move _52) -> [false: bb71, otherwise: bb69]"><span class="annotation">@64</span></span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:42: SwitchInt: switchInt(move _52) -> [false: bb71, otherwise: bb69]"><span class="annotation">64⦊</span></span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const false
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">@66</span></span><span class="code even" style="--layer: 24" title="bb69: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">66⦊</span></span><span class="code even" style="--layer: 24" title="bb69: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Assign: _51 = const true
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">@69</span></span><span class="code even" style="--layer: 25" title="bb71: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">69⦊</span></span><span class="code even" style="--layer: 25" title="bb71: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:29-44:42: StorageLive: StorageLive(_54)
|
||||
44:29-44:38: StorageLive: StorageLive(_55)
|
||||
44:29-44:38: Assign: _55 = _41
|
||||
44:29-44:42: Assign: _54 = Gt(move _55, const 5_i32)
|
||||
44:41-44:42: StorageDead: StorageDead(_55)
|
||||
44:12-44:42: SwitchInt: switchInt(move _54) -> [false: bb70, otherwise: bb69]"><span class="annotation">@71</span></span><span class="code even" style="--layer: 26" title="bb70: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: SwitchInt: switchInt(move _54) -> [false: bb70, otherwise: bb69]"><span class="annotation">71⦊</span></span><span class="code even" style="--layer: 26" title="bb70: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Assign: _51 = const false
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">@70:</span> countdown < 1 || countdown > 5</span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">70⦊</span>countdown < 1 || countdown > 5<span class="annotation">⦉70</span></span><span class="code even" style="--layer: 25" title="bb71: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:29-44:42: StorageLive: StorageLive(_54)
|
||||
44:29-44:38: StorageLive: StorageLive(_55)
|
||||
44:29-44:38: Assign: _55 = _41
|
||||
44:29-44:42: Assign: _54 = Gt(move _55, const 5_i32)
|
||||
44:41-44:42: StorageDead: StorageDead(_55)
|
||||
44:12-44:42: SwitchInt: switchInt(move _54) -> [false: bb70, otherwise: bb69]"><span class="annotation">⦉71</span></span><span class="code even" style="--layer: 24" title="bb69: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:42:
|
||||
44:12-44:42: Assign: _51 = const true
|
||||
44:12-44:42: Goto: goto -> bb72"><span class="annotation">⦉69</span></span><span class="code even" style="--layer: 23" title="bb66: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const false
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">@66:</span> || countdown != 9</span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">@73:</span> {</span></span>
|
||||
44:12-44:60: Goto: goto -> bb68"> || countdown != 9<span class="annotation">⦉66</span></span><span class="code even" style="--layer: 22" title="bb64: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:9-46:10: StorageLive: StorageLive(_49)
|
||||
44:12-44:60: StorageLive: StorageLive(_50)
|
||||
44:12-44:42: StorageLive: StorageLive(_51)
|
||||
44:12-44:25: StorageLive: StorageLive(_52)
|
||||
44:12-44:21: StorageLive: StorageLive(_53)
|
||||
44:12-44:21: Assign: _53 = _41
|
||||
44:12-44:25: Assign: _52 = Lt(move _53, const 1_i32)
|
||||
44:24-44:25: StorageDead: StorageDead(_53)
|
||||
44:12-44:42: SwitchInt: switchInt(move _52) -> [false: bb71, otherwise: bb69]"><span class="annotation">⦉64</span></span><span class="code even" style="--layer: 21" title="bb72: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:41-44:42: StorageDead: StorageDead(_54)
|
||||
44:41-44:42: StorageDead: StorageDead(_52)
|
||||
44:12-44:60: SwitchInt: switchInt(move _51) -> [false: bb67, otherwise: bb65]"><span class="annotation">⦉72</span></span><span class="code even" style="--layer: 20" title="bb65: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:12-44:60: Assign: _50 = const true
|
||||
44:12-44:60: Goto: goto -> bb68"><span class="annotation">⦉65</span></span><span class="code even" style="--layer: 19" title="bb68: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:59-44:60: StorageDead: StorageDead(_56)
|
||||
44:59-44:60: StorageDead: StorageDead(_51)
|
||||
44:12-44:60: FakeRead: FakeRead(ForMatchedPlace, _50)
|
||||
44:9-46:10: SwitchInt: switchInt(_50) -> [false: bb74, otherwise: bb73]"><span class="annotation">⦉68</span></span><span class="code even" style="--layer: 18" title="bb67: ../instrument-coverage/coverage_of_if_else.rs:44:12: 44:60:
|
||||
44:46-44:60: StorageLive: StorageLive(_56)
|
||||
44:46-44:55: StorageLive: StorageLive(_57)
|
||||
44:46-44:55: Assign: _57 = _41
|
||||
44:46-44:60: Assign: _56 = Ne(move _57, const 9_i32)
|
||||
44:59-44:60: StorageDead: StorageDead(_57)
|
||||
44:12-44:60: SwitchInt: switchInt(move _56) -> [false: bb66, otherwise: bb65]"><span class="annotation">⦉67</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"> {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"> countdown = 0;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
@ -547,13 +719,24 @@
|
||||
46:9-46:10: StorageDead: StorageDead(_50)
|
||||
46:9-46:10: StorageDead: StorageDead(_49)
|
||||
47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32)
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"><span class="annotation">@76:</span> }</span></span>
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"><span class="annotation">76⦊</span>}</span><span class="code odd" style="--layer: 15" title="bb75: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
45:13-45:26: Assign: _41 = const 0_i32
|
||||
44:61-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">⦉75</span></span><span class="code even" style="--layer: 16" title="bb74: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: Assign: _49 = const ()
|
||||
44:9-46:10: Goto: goto -> bb76"><span class="annotation">⦉74</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">⦉73</span></span><span class="code even" style="--layer: 17" title="bb73: ../instrument-coverage/coverage_of_if_else.rs:44:9: 46:10:
|
||||
44:9-46:10: FalseEdge: falseEdge -> [real: bb75, imaginary: bb74]"><span class="annotation">⦉73</span></span><span class="code odd" style="--layer: 18" title="bb76: ../instrument-coverage/coverage_of_if_else.rs:46:9: 47:23:
|
||||
46:9-46:10: StorageDead: StorageDead(_50)
|
||||
46:9-46:10: StorageDead: StorageDead(_49)
|
||||
47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32)
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"></span></span>
|
||||
<span class="line"><span class="code odd" style="--layer: 18" title="bb76: ../instrument-coverage/coverage_of_if_else.rs:46:9: 47:23:
|
||||
46:9-46:10: StorageDead: StorageDead(_50)
|
||||
46:9-46:10: StorageDead: StorageDead(_49)
|
||||
47:9-47:23: Assign: _58 = CheckedSub(_41, const 5_i32)
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"> countdown -= 5</span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">@62:</span> ;</span></span>
|
||||
47:9-47:23: Assert: assert(!move (_58.1: bool), "attempt to compute `{} - {}` which would overflow", _41, const 5_i32) -> [success: bb77, unwind: bb1]"> countdown -= 5<span class="annotation">⦉76</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]">;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"> } else {</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
@ -564,7 +747,7 @@
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
49:9-49:15: Goto: goto -> bb26"><span class="annotation">@63:</span> return;</span></span>
|
||||
49:9-49:15: Goto: goto -> bb26"><span class="annotation">63⦊</span>return;</span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 15" title="bb63: ../instrument-coverage/coverage_of_if_else.rs:49:9: 51:2:
|
||||
49:9-49:15: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
@ -572,12 +755,54 @@
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
49:9-49:15: Goto: goto -> bb26"> }</span><span class="code even" style="--layer: 16" title="bb78: ../instrument-coverage/coverage_of_if_else.rs:51:1: 51:2:
|
||||
49:9-49:15: Goto: goto -> bb26"> }</span><span class="code odd" style="--layer: 11" title="bb61: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
42:9-42:23: Assign: _41 = move (_46.0: i32)
|
||||
41:22-43:6: Assign: _0 = const ()
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉61</span></span><span class="code even" style="--layer: 12" title="bb58: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
41:5-50:6: FalseEdge: falseEdge -> [real: bb60, imaginary: bb59]"><span class="annotation">⦉58</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉77</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉77</span></span><span class="code even" style="--layer: 13" title="bb77: ../instrument-coverage/coverage_of_if_else.rs:41:5: 50:6:
|
||||
47:9-47:23: Assign: _41 = move (_58.0: i32)
|
||||
43:29-48:6: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
41:5-50:6: Goto: goto -> bb78"><span class="annotation">⦉77</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">⦉62</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">⦉62</span></span><span class="code even" style="--layer: 14" title="bb62: ../instrument-coverage/coverage_of_if_else.rs:43:12: 50:6:
|
||||
43:12-50:6: FalseEdge: falseEdge -> [real: bb64, imaginary: bb63]"><span class="annotation">⦉62</span></span><span class="code even" style="--layer: 15" title="bb63: ../instrument-coverage/coverage_of_if_else.rs:49:9: 51:2:
|
||||
49:9-49:15: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
51:1-51:2: StorageDead: StorageDead(_41)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
51:2-51:2: Goto: goto -> bb26"><span class="annotation">@78:</span> }</span><span><span class="code even" style="--layer: 1" title="bb26: ../instrument-coverage/coverage_of_if_else.rs:51:2: 51:2:
|
||||
51:2-51:2: Return: return"><span class="annotation">@26</span></span></span></span></div>
|
||||
49:9-49:15: Goto: goto -> bb26"></span></span>
|
||||
<span class="line"><span class="code even" style="--layer: 16" title="bb78: ../instrument-coverage/coverage_of_if_else.rs:51:1: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_41)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
51:2-51:2: Goto: goto -> bb26"><span class="annotation">78⦊</span>}<span class="annotation">⦉78</span></span><span class="code even" style="--layer: 15" title="bb63: ../instrument-coverage/coverage_of_if_else.rs:49:9: 51:2:
|
||||
49:9-49:15: Assign: _0 = const ()
|
||||
50:5-50:6: StorageDead: StorageDead(_47)
|
||||
51:1-51:2: StorageDead: StorageDead(_41)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
51:1-51:2: StorageDead: StorageDead(_44)
|
||||
49:9-49:15: Goto: goto -> bb26"><span class="annotation">⦉63</span></span><span class="code even" style="--layer: 10" title="bb38: ../instrument-coverage/coverage_of_if_else.rs:33:9: 51:2:
|
||||
33:9-33:15: Assign: _0 = const ()
|
||||
34:5-34:6: StorageDead: StorageDead(_28)
|
||||
34:5-34:6: StorageDead: StorageDead(_25)
|
||||
34:5-34:6: StorageDead: StorageDead(_24)
|
||||
51:1-51:2: StorageDead: StorageDead(_21)
|
||||
33:9-33:15: Goto: goto -> bb27"><span class="annotation">⦉38</span></span><span class="code even" style="--layer: 5" title="bb27: ../instrument-coverage/coverage_of_if_else.rs:17:9: 51:2:
|
||||
51:1-51:2: StorageDead: StorageDead(_1)
|
||||
17:9-17:15: Goto: goto -> bb26"><span class="annotation">⦉27</span></span><span><span class="code even" style="--layer: 1" title="bb26: ../instrument-coverage/coverage_of_if_else.rs:51:2: 51:2:
|
||||
51:2-51:2: Return: return"><span class="annotation">26⦊</span>‸<span class="annotation">⦉26</span></span></span></span></div>
|
||||
</body>
|
||||
</html>
|
||||
|
||||
Loading…
Reference in New Issue
Block a user