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

Method byteNumber

ir/memory.cpp:354–357  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

352}
353
354expr Byte::byteNumber() const {
355 unsigned start = padding_nonptr_byte();
356 return p.extract(start + size_byte_number() - 1, start);
357}
358
359expr Byte::isPoison() const {
360 if (!does_int_mem_access)

Callers 4

refinedMethod · 0.80
memory.cppFile · 0.80
bytesToValueFunction · 0.80

Calls 3

padding_nonptr_byteFunction · 0.85
size_byte_numberFunction · 0.85
extractMethod · 0.45

Tested by

no test coverage detected