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

Method printVal

ir/type.cpp:323–325  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

321}
322
323void VoidType::printVal(ostream &os, const State &s, const expr &e) const {
324 UNREACHABLE();
325}
326
327void VoidType::print(ostream &os) const {
328 os << "void";

Callers 1

print_single_varvalFunction · 0.80

Calls 13

PointerClass · 0.85
printHexadecimalMethod · 0.80
printUnsignedMethod · 0.80
isNegativeMethod · 0.80
printSignedMethod · 0.80
isFPZeroMethod · 0.80
isFPNegativeMethod · 0.80
isInfMethod · 0.80
numeral_stringMethod · 0.80
float2RealMethod · 0.80
bitsMethod · 0.45
isTrueMethod · 0.45

Tested by

no test coverage detected