hub / github.com/GoSSIP-SJTU/Armariris / rangeMetadataExcludesValue

Function rangeMetadataExcludesValue

lib/Analysis/ValueTracking.cpp:1652–1665 · view source on GitHub ↗

Does the 'Range' metadata (which must be a valid MD_range operand list) ensure that the value it's attached to is never Value? 'RangeType' is is the type of the value described by the range.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

isKnownNonZeroFunction · 0.85

Calls 5

assertFunction · 0.50

getNumOperandsMethod · 0.45

getOperandMethod · 0.45

getValueMethod · 0.45

containsMethod · 0.45

Tested by

no test coverage detected