(map: DashMap<K, V, S>)
| 3481 | continue; |
| 3482 | }; |
| 3483 | if &addr == seed_addr { |
| 3484 | found_seed = true; |
| 3485 | } |
| 3486 | |
| 3487 | if let Some(block_addr) = projection_block(&constant.info) { |
| 3488 | worklist.push(IngressNeed::ProjectionAliases(addr)); |
| 3489 | worklist.push(IngressNeed::Addr(block_addr.clone())); |
| 3490 | continue; |
| 3491 | } |
| 3492 | |
| 3493 | if follow_refs { |
| 3494 | for dep in &constant.refs { |
| 3495 | if ixon_env.consts.contains_key(dep) { |
no test coverage detected