| 41 | //--- Functions for non-local block analysis based on bid ---// |
| 42 | |
| 43 | static bool skip_null() { |
| 44 | return has_null_block && !null_is_dereferenceable; |
| 45 | } |
| 46 | |
| 47 | // If include_tgt is true, return true if bid is a global var existing in target |
| 48 | // only as well |