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

Method aliasCheck

lib/Analysis/BasicAliasAnalysis.cpp:1389–1538  ·  view source on GitHub ↗

Provides a bunch of ad-hoc rules to disambiguate in common cases, such as array references.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 14

GetUnderlyingObjectFunction · 0.85
isEscapeSourceFunction · 0.85
isNonEscapingLocalObjectFunction · 0.85
isObjectSmallerThanFunction · 0.85
MemoryLocationClass · 0.85
make_pairClass · 0.85
isObjectSizeFunction · 0.85
isPointerTyMethod · 0.80
swapFunction · 0.50
stripPointerCastsMethod · 0.45
getTypeMethod · 0.45
getAddressSpaceMethod · 0.45

Tested by

no test coverage detected