Function isFnReturnValue

ir/memory.cpp:533–544

}

static bool isFnReturnValue(const expr &e) {
  expr arr, idx;
  if (e.isLoad(arr, idx))
    return isFnReturnValue(arr);

  expr val;
  unsigned hi, lo;
  if (e.isExtract(val, hi, lo))
    return isFnReturnValue(val);

  return e.fn_name().starts_with("#fnret_");
}

int Memory::isInitialMemBlock(const expr &e, bool match_any_init) {
  string_view name;