()
| 759 | b: i64 = 0 - 1 |
| 760 | c: i64 = a * b |
| 761 | d: i64 = neg_one() |
| 762 | e: i64 = c + d |
| 763 | return e as i32 |
| 764 | } |
| 765 | "#, |
| 766 | ); |
| 767 | // a=-42, b=-1, c=42, d=-1, e=41. |
| 768 | assert!( |
| 769 | matches!(outcome, StepOutcome::Halted(41)), |
| 770 | "expected Halted(41), got {outcome:?}" |
| 771 | ); |
| 772 | } |
| 773 | |
| 774 | #[test] |
| 775 | fn hll_global_scalar_initializer() { |
| 776 | // A non-zero scalar global reads back its declared value. |
| 777 | let (_, outcome, _) = run_hll( |
nothing calls this directly
no test coverage detected