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

Method forceCastToInt

ir/memory.cpp:404–406  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

402}
403
404expr Byte::forceCastToInt() const {
405 return expr::mkIf(isPtr(), castPtrToInt(), nonptrValue());
406}
407
408expr Byte::refined(const Byte &other) const {
409 bool asm_mode = other.m.isAsmMode();

Callers 3

refinedMethod · 0.80
bytesToValueFunction · 0.80
toSMTMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected