aliasanalysis

Source Edit

Imports

ast

Types

AliasKind = enum
  yes, no, maybe

Source Edit

Consts

PathKinds0 = {nkDotExpr, nkCheckedFieldExpr, nkBracketExpr, nkDerefExpr,
              nkHiddenDeref, nkAddr, nkHiddenAddr, nkObjDownConv, nkObjUpConv}

Source Edit

PathKinds1 = {nkHiddenStdConv, nkHiddenSubConv}

Source Edit

Procs

proc aliases(obj, field: PNode): AliasKind {....raises: [], tags: [], forbids: [].}

Source Edit

proc isAnalysableFieldAccess(orig: PNode; owner: PSym): bool {....raises: [],
    tags: [], forbids: [].}

Source Edit

proc skipConvDfa(n: PNode): PNode {....raises: [], tags: [], forbids: [].}

Source Edit