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

Method getAddress

ir/pointer.cpp:315–317  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

313}
314
315expr Pointer::getAddress(bool simplify) const {
316 return mkIf_fold(isLogical(), getLogAddress(simplify), getPhysicalAddress());
317}
318
319expr Pointer::getPhysicalAddress() const {
320 return p.extract(bits_for_ptrattrs + bits_ptr_address - 1, bits_for_ptrattrs);

Callers 13

print_single_varvalFunction · 0.80
errorFunction · 0.80
castPtrToIntMethod · 0.80
accessMethod · 0.80
mkAxiomsMethod · 0.80
disjoint_local_blocksFunction · 0.80
startLifetimeMethod · 0.80
ptr2intMethod · 0.80
printMethod · 0.80
isDereferenceableMethod · 0.80
refinedMethod · 0.80
fninputRefinedMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected