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

Method getBid

ir/pointer.cpp:240–243  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

238}
239
240expr Pointer::getBid() const {
241 auto start = bits_for_offset + bits_for_ptrattrs;
242 return p.extract(start + bits_for_bid - 1, start);
243}
244
245expr Pointer::getShortBid() const {
246 auto start = bits_for_offset + bits_for_ptrattrs;

Callers 11

computeAliasingMethod · 0.80
accessMethod · 0.80
mkInputMethod · 0.80
mkFnRetMethod · 0.80
setStateMethod · 0.80
loadMethod · 0.80
refinedMethod · 0.80
printMethod · 0.80
isDereferenceableMethod · 0.80
isDisjointOrEqualMethod · 0.80
toSMTMethod · 0.80

Calls 1

extractMethod · 0.45

Tested by

no test coverage detected