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

Method aliasGEP

lib/Analysis/BasicAliasAnalysis.cpp:1018–1235 · view source on GitHub ↗

Provides a bunch of ad-hoc rules to disambiguate a GEP instruction against another pointer. We know that V1 is a GEP, but we don't know anything about V2. UnderlyingV1 is GetUnderlyingObject(GEP1, DL), UnderlyingV2 is the same for V2.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 9

aliasSameBasePointerGEPsFunction · 0.85

ComputeSignBitFunction · 0.70

assertFunction · 0.50

AAMDNodesClass · 0.50

stripPointerCastsMethod · 0.45

getPointerOperandMethod · 0.45

getTypeMethod · 0.45

emptyMethod · 0.45

sizeMethod · 0.45

Tested by

no test coverage detected