MCPcopy Create free account
hub / github.com/GoSSIP-SJTU/Armariris / isEmptySet

Method isEmptySet

lib/IR/ConstantRange.cpp:235–237  ·  view source on GitHub ↗

isEmptySet - Return true if this set contains no members.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

matchInstructionMethod · 0.80
visitICmpInstMethod · 0.80
makeAllowedICmpRegionMethod · 0.80
containsMethod · 0.80
intersectWithMethod · 0.80
unionWithMethod · 0.80
addMethod · 0.80
subMethod · 0.80
multiplyMethod · 0.80
smaxMethod · 0.80
umaxMethod · 0.80
sminMethod · 0.80

Calls 1

isMinValueMethod · 0.45

Tested by 2

TEST_FFunction · 0.64
TESTFunction · 0.64