traverseIndirections

Returns true if memory reachable through a reference B to a value of type tb, which has been constructed with a reference A to a value of type ta available, can alias memory reachable from A based on the types involved (either directly or via any number of indirections).

Note that this relation is not symmetric in the two arguments. For example, a const(int) reference can point to a pre-existing int, but not the other way round.

extern (C++)
bool
traverseIndirections
(
,,
void* p = null
,
bool reversePass = false
)

Meta