Function name: tight_inf_loop::main
Raw bytes (29): 0x[01, 01, 00, 05, 01, 01, 01, 00, 0a, 01, 01, 08, 00, 0d, 00, 01, 09, 00, 10, 01, 01, 05, 00, 06, 01, 01, 01, 00, 02]
Number of files: 1
- file 0 => $DIR/tight_inf_loop.rs
Number of expressions: 0
Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 10)
- Code(Counter(0)) at (prev + 1, 8) to (start + 0, 13)
- Code(Zero) at (prev + 1, 9) to (start + 0, 16)
- Code(Counter(0)) at (prev + 1, 5) to (start + 0, 6)
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
Highest counter ID seen: c0