Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ isPtr
Method
isPtr
ir/memory.cpp:296–298 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
294
}
295
296
expr Byte::isPtr() const {
297
return p.sign() == 1;
298
}
299
300
expr Byte::ptrNonpoison() const {
301
auto bit = p.bits() - 1 - byte_has_ptr_bit();
Callers
8
refined
Method · 0.45
memory.cpp
File · 0.45
bytesToValue
Function · 0.45
data_type
Method · 0.45
store
Method · 0.45
mkSubByteZExtStoreCond
Method · 0.45
mkNonlocalValAxioms
Method · 0.45
checkNocapture
Method · 0.45
Calls
1
sign
Method · 0.80
Tested by
no test coverage detected