Documentation

Miri.Input.CompilerLinuxSyscall

Actual linux_like/{syscall,sync,thread,eventfd}.rs compiler requests. Types come from exact constructor/path keys, and constants from target rustc const_eval_instance. No host libc/triple table or layout-equality type lookup.

source
def Miri.Input.CompilerLinuxSyscall.argumentLayout (p : CompilerProviders.Prepared) :
Interpreter.LinuxFutex.ArgType → Except String Interpreter.LocalLayout

Ordered source shim_varargs type requests; pointer pointees retain exact canonical compiler identity even when their layouts happen to coincide.

Equations
Instances For
    source
    def Miri.Input.CompilerLinuxSyscall.argumentTypes (p : CompilerProviders.Prepared) (types : Array Interpreter.LinuxFutex.ArgType) :
    Except String (Array MIR.TyId)
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Miri.Input.CompilerLinuxSyscall.timespecLayout (runtime : RuntimeMetadata) :
      Except String Interpreter.LocalLayout
      Equations
      Instances For
        source
        def Miri.Input.CompilerLinuxSyscall.libcUsize {S : Type} (constants : CompilerNamedConstants.Prepared) (name : String) :
        EStateM Interpreter.StepError S UInt64

        Source eval_libc(...).to_target_usize: actual target pointer-sized scalar conversion, including overflow/provenance failures rather than host casts.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Miri.Input.CompilerLinuxSyscall.signature {S : Type} (queries : CompilerNamedShimAbi.Prepared) (name : String) :
          EStateM Interpreter.StepError S (ABI.FnAbi MIR.TyId)
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Miri.Input.CompilerLinuxSyscall.sourceAbi (name : String) :
            Except String ABI.ExternAbi
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Miri.Input.CompilerLinuxSyscall.futexHooks {S R : Type} (constants : CompilerNamedConstants.Prepared) (base : Interpreter.LinuxFutex.Hooks S R) :
              Interpreter.LinuxFutex.Hooks S R
              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Miri.Input.CompilerLinuxSyscall.eventHooks {S F : Type} (p : CompilerProviders.Prepared) (constants : CompilerNamedConstants.Prepared) (base : Interpreter.EventFd.Hooks S F) :
                Interpreter.EventFd.Hooks S F
                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Miri.Input.CompilerLinuxSyscall.hooks {S R F D B I : Type} (p : CompilerProviders.Prepared) (constants : CompilerNamedConstants.Prepared) (abis : CompilerNamedShimAbi.Prepared) (base : Interpreter.LinuxSyscall.Hooks S R F D B I) :
                  Interpreter.LinuxSyscall.Hooks S R F D B I

                  Actual memory, time, isolation, synchronization, fd and thread actions stay in the canonical runtime hooks. The varargs checker consumes these exact TyIds.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For