MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / is_fncall_mem

Function is_fncall_mem

ir/memory.cpp:77–81  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

75}
76
77static 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
83static void ensure_non_fncallmem(const Pointer &p) {
84 if (!p.isLocal().isFalse())

Callers 10

ensure_non_fncallmemFunction · 0.85
always_aliveFunction · 0.85
always_noreadFunction · 0.85
nextNonlocalBidMethod · 0.85
numCurrentNonLocalsMethod · 0.85
accessMethod · 0.85
mkNonlocalValAxiomsMethod · 0.85
mkAxiomsMethod · 0.85
setStateMethod · 0.85
blockValRefinedMethod · 0.85

Calls 1

get_fncallmem_bidFunction · 0.85

Tested by

no test coverage detected