Documentation

Miri.Input.CompilerBacktraceFacts

Exact compiler type/ABI/symbolic-function leaves for backtrace.rs. Source-map, hygiene and symbol-rendering services remain required; no name or line number is inferred from diagnostic spellings or a nearby exported span.

source
@[reducible, inline]
abbrev Miri.Input.CompilerBacktraceFacts.Result (α : Type u_1) :
Type u_1
Equations
Instances For
    source
    def Miri.Input.CompilerBacktraceFacts.unitPointerLayout (prepared : CompilerCallPipeline.Prepared) :
    Result Interpreter.LocalLayout
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Miri.Input.CompilerBacktraceFacts.adtReprC (prepared : CompilerCallPipeline.Prepared) (ty : MIR.TyId) :
      Result (Option Bool)

      Only an actual ADT receives the source repr(C) check. A known non-ADT returns None; unavailable type/repr metadata is an error, not a non-ADT default.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Miri.Input.CompilerBacktraceFacts.hooks {S P Extra K D MD B I E Loc : Type} (prepared : CompilerCallPipeline.Prepared) (shim : CompilerShimAbi.Prepared) (image : AllocationImage.Imported) (memory : S → Memory.MemoryState P Extra K) (base : Interpreter.Backtrace.Hooks P S D MD B I E Loc) :
        Interpreter.Backtrace.Hooks P S D MD B I E Loc
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Miri.Input.CompilerBacktraceFacts.reprCHook {S : Type} (prepared : CompilerCallPipeline.Prepared) (ty : MIR.TyId) :
          EStateM Interpreter.StepError S (Option Bool)
          Equations
          Instances For