| 97 | } |
| 98 | |
| 99 | StateValue StateValue::simplify() const { |
| 100 | return { value.simplify(), non_poison.simplify() }; |
| 101 | } |
| 102 | |
| 103 | ostream& operator<<(ostream &os, const StateValue &val) { |
| 104 | return os << val.value << " / " << val.non_poison; |
no outgoing calls
no test coverage detected