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

Method bits

ir/type.cpp:296–298  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

294
295
296unsigned VoidType::bits() const {
297 UNREACHABLE();
298}
299
300StateValue VoidType::getDummyValue(bool non_poison) const {
301 return { false, non_poison };

Callers 15

errorFunction · 0.45
instantiate_undefFunction · 0.45
preprocessMethod · 0.45
mkInputMethod · 0.45
to_hexFunction · 0.45
toSMTMethod · 0.45
div_ubFunction · 0.45
printValMethod · 0.45
fromFloatMethod · 0.45
isNaNIntMethod · 0.45
aggregateValsMethod · 0.45
extractMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected