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

Function aliasSameBasePointerGEPs

lib/Analysis/BasicAliasAnalysis.cpp:820–949  ·  view source on GitHub ↗

Provide ad-hoc rules to disambiguate accesses through two GEP operators, both having the exact same pointer operand.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

aliasGEPMethod · 0.85

Calls 15

isKnownNonEqualFunction · 0.85
getTypeStoreSizeMethod · 0.80
getStructLayoutMethod · 0.80
getElementOffsetMethod · 0.80
assertFunction · 0.50
stripPointerCastsMethod · 0.45
getPointerOperandMethod · 0.45
getTypeMethod · 0.45
getNumIndicesMethod · 0.45
getOperandMethod · 0.45
getNumOperandsMethod · 0.45
getSExtValueMethod · 0.45

Tested by

no test coverage detected