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

Method ptr

ir/memory.cpp:305–307  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

303}
304
305Pointer Byte::ptr() const {
306 return { m, ptrValue() };
307}
308
309expr Byte::ptrValue() const {
310 if (!does_ptr_mem_access)

Callers 3

refinedMethod · 0.80
memory.cppFile · 0.80
mkNonlocalValAxiomsMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected