(post_must_defined: set[Value], src: Value)
| 90 | |
| 91 | |
| 92 | def is_maybe_undefined(post_must_defined: set[Value], src: Value) -> bool: |
| 93 | return (isinstance(src, Register) and src not in post_must_defined) or ( |
| 94 | isinstance(src, CallC) and src.returns_null |
| 95 | ) |
| 96 | |
| 97 | |
| 98 | def maybe_append_dec_ref( |
no test coverage detected
searching dependent graphs…