compiler/guards

  Source   Edit

This module implements the 'implies' relation for guards.

Types

TModel = object
  s*: seq[PNode]
  g*: ModuleGraph
  beSmart*: bool
  Source   Edit

Procs

proc addAsgnFact(m: var TModel; key, value: PNode) {....raises: [], tags: [].}
  Source   Edit
proc addCaseBranchFacts(m: var TModel; n: PNode; i: int) {.
    ...raises: [ERecoverableError], tags: [].}
  Source   Edit
proc addDiscriminantFact(m: var TModel; n: PNode) {....raises: [], tags: [].}
  Source   Edit
proc addFact(m: var TModel; nn: PNode) {....raises: [ERecoverableError, KeyError],
    tags: [].}
  Source   Edit
proc addFactLe(m: var TModel; a, b: PNode) {....raises: [KeyError], tags: [].}
  Source   Edit
proc addFactLt(m: var TModel; a, b: PNode) {....raises: [KeyError], tags: [].}
  Source   Edit
proc addFactNeg(m: var TModel; n: PNode) {.
    ...raises: [ERecoverableError, KeyError], tags: [].}
  Source   Edit
proc buildAdd(a: PNode; b: BiggestInt; o: Operators): PNode {.
    ...raises: [KeyError], tags: [].}
  Source   Edit
proc buildCall(op: PSym; a, b: PNode): PNode {....raises: [], tags: [].}
  Source   Edit
proc buildCall(op: PSym; a: PNode): PNode {....raises: [], tags: [].}
  Source   Edit
proc buildLe(o: Operators; a, b: PNode): PNode {....raises: [], tags: [].}
  Source   Edit
proc canon(n: PNode; o: Operators): PNode {....raises: [KeyError], tags: [].}
  Source   Edit
proc checkFieldAccess(m: TModel; n: PNode; conf: ConfigRef) {.
    ...raises: [KeyError, ERecoverableError, Exception, ValueError, IOError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc doesImply(facts: TModel; prop: PNode): TImplication {.
    ...raises: [ERecoverableError, KeyError, Exception, ValueError, IOError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc highBound(conf: ConfigRef; x: PNode; o: Operators): PNode {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc impliesNotNil(m: TModel; arg: PNode): TImplication {.
    ...raises: [ERecoverableError, KeyError, Exception, ValueError, IOError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc interestingCaseExpr(m: PNode): bool {....raises: [], tags: [].}
  Source   Edit
proc invalidateFacts(m: var TModel; n: PNode) {....raises: [], tags: [].}
  Source   Edit
proc invalidateFacts(s: var seq[PNode]; n: PNode) {....raises: [], tags: [].}
  Source   Edit
proc lowBound(conf: ConfigRef; x: PNode): PNode {.
    ...raises: [Exception, ValueError, KeyError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc proveLe(m: TModel; a, b: PNode): TImplication {.
    ...raises: [KeyError, ERecoverableError, Exception, ValueError, IOError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc sameSubexprs(m: TModel; a, b: PNode): bool {.
    ...raises: [ERecoverableError, KeyError, Exception, ValueError, IOError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect].}
  Source   Edit
proc sameTree(a, b: PNode): bool {....raises: [], tags: [].}
  Source   Edit
proc simpleSlice(a, b: PNode): BiggestInt {....raises: [], tags: [].}
  Source   Edit