compiler/nilcheck

  Source   Edit

Types

Nilability = enum
  Parent, Safe, MaybeNil, Nil, Unreachable
  Source   Edit

Procs

func `$`(a: ExprIndex): string {....raises: [], tags: [].}
  Source   Edit
func `$`(a: SetIndex): string {....raises: [], tags: [].}
  Source   Edit
func `+`(a: ExprIndex; b: ExprIndex): ExprIndex {....raises: [], tags: [].}
  Source   Edit
func `+`(a: SetIndex; b: SetIndex): SetIndex {....raises: [], tags: [].}
  Source   Edit
func `-`(a: ExprIndex; b: ExprIndex): ExprIndex {....raises: [], tags: [].}
  Source   Edit
func `-`(a: SetIndex; b: SetIndex): SetIndex {....raises: [], tags: [].}
  Source   Edit
func `<`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [].}
  Source   Edit
func `<=`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [].}
  Source   Edit
func `==`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [].}
  Source   Edit
func `==`(a: SetIndex; b: SetIndex): bool {....raises: [], tags: [].}
  Source   Edit
func `>`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [].}
  Source   Edit
func `>=`(a: ExprIndex; b: ExprIndex): bool {....raises: [], tags: [].}
  Source   Edit
proc add[T, U](a: var SeqOfDistinct[T, U]; value: U)
  Source   Edit
proc checkNil(s: PSym; body: PNode; conf: ConfigRef; idgen: IdGenerator) {.
    ...raises: [KeyError, Exception, ValueError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit