| 877 | } |
| 878 | |
| 879 | expr Pointer::isByval() const { |
| 880 | auto this_bid = getShortBid(); |
| 881 | expr non_local(false); |
| 882 | for (auto [bid, is_const] : m.byval_blks) { |
| 883 | non_local |= this_bid == bid; |
| 884 | } |
| 885 | return !isLocal() && non_local; |
| 886 | } |
| 887 | |
| 888 | expr Pointer::isNocapture(bool simplify) const { |
| 889 | if (!has_nocapture) |
no outgoing calls
no test coverage detected