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

Method isNocapture

ir/pointer.cpp:888–897  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

886}
887
888expr Pointer::isNocapture(bool simplify) const {
889 if (!has_nocapture)
890 return false;
891
892 // local pointers can't be no-capture
893 if (isLocal(simplify).isTrue())
894 return false;
895
896 return p.extract(0, 0) == 1;
897}
898
899#define GET_ATTR(attr, idx) \
900 if (!attr) \

Callers 5

mkNonlocalValAxiomsMethod · 0.80
ptr2intMethod · 0.80
checkNocaptureMethod · 0.80
encodePtrAttrsFunction · 0.80
check_ret_attributesFunction · 0.80

Calls 2

isTrueMethod · 0.45
extractMethod · 0.45

Tested by

no test coverage detected