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

Method getOffsetSizet

ir/pointer.cpp:254–257  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

252}
253
254expr Pointer::getOffsetSizet() const {
255 auto off = getOffset();
256 return bits_for_offset >= bits_size_t ? off : off.sextOrTrunc(bits_size_t);
257}
258
259expr Pointer::getShortOffset() const {
260 return p.extract(bits_for_offset + bits_for_ptrattrs - 1,

Callers 4

blockValRefinedMethod · 0.80
isDereferenceableMethod · 0.80
isDisjointOrEqualMethod · 0.80
at_least_same_offsetingFunction · 0.80

Calls 1

sextOrTruncMethod · 0.80

Tested by

no test coverage detected