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

Method getAttrs

ir/pointer.cpp:264–266  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

262}
263
264expr Pointer::getAttrs() const {
265 return bits_for_ptrattrs ? p.extract(bits_for_ptrattrs - 1, 0) : expr();
266}
267
268expr Pointer::getValue(const char *name, const FunctionExpr &local_fn,
269 const FunctionExpr &nonlocal_fn,

Callers 3

valueToBytesFunction · 0.80
isDereferenceableMethod · 0.80
pointer.cppFile · 0.80

Calls 2

exprClass · 0.70
extractMethod · 0.45

Tested by

no test coverage detected