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

Function intersect

lib/Analysis/LazyValueInfo.cpp:326–359 · view source on GitHub ↗

Combine two sets of facts about the same value into a single set of facts. Note that this method is not suitable for merging facts along different paths in a CFG; that's what the mergeIn function is for. This is for merging facts gathered about the same value at the same location through two independent means. Notes: This method does not promise to return the most precise possible lattice value

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 6

getAAMetadataMethod · 0.70

intersectAssumeBlockValueConstantRangeMethod · 0.70

solveBlockValueSelectMethod · 0.70

getEdgeValueMethod · 0.70

propagateMetadataMethod · 0.70

combineMetadataMethod · 0.50

Calls 7

hasSingleValueFunction · 0.85

isConstantRangeMethod · 0.80

moveFunction · 0.50

isUndefinedMethod · 0.45

isOverdefinedMethod · 0.45

intersectWithMethod · 0.45

getConstantRangeMethod · 0.45

Tested by

no test coverage detected