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

Method isZero

ir/memory.cpp:390–392  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

388}
389
390expr Byte::isZero() const {
391 return expr::mkIf(isPtr(), ptr().isNull(), nonptrValue() == 0);
392}
393
394bool Byte::isAsmMode() const {
395 return m.isAsmMode();

Callers 12

refinedMethod · 0.45
memory.cppFile · 0.45
data_typeMethod · 0.45
getBlockBaseAddressMethod · 0.45
isOfBlockMethod · 0.45
isInboundsOfMethod · 0.45
isDereferenceableMethod · 0.45
isBlockAliveMethod · 0.45
fninputRefinedMethod · 0.45
pointer.cppFile · 0.45
toSMTMethod · 0.45
toSMTMethod · 0.45

Calls 1

isNullMethod · 0.80

Tested by

no test coverage detected