| 75 | } |
| 76 | |
| 77 | static bool is_fncall_mem(unsigned bid) { |
| 78 | if (!has_write_fncall && num_inaccessiblememonly_fns == 0) |
| 79 | return false; |
| 80 | return bid >= get_fncallmem_bid() && bid < num_nonlocals_src; |
| 81 | } |
| 82 | |
| 83 | static void ensure_non_fncallmem(const Pointer &p) { |
| 84 | if (!p.isLocal().isFalse()) |
no test coverage detected