pub(crate) fn accesses_return_data(
cx: &mut SymCx,
record: Option<&AccessRecord>,
target: Address,
) -> SymReturnDatapub(crate) fn accesses_return_data(
cx: &mut SymCx,
record: Option<&AccessRecord>,
target: Address,
) -> SymReturnData