jon.recoil.org

Module Zero_alloc_checker.Witness

When the check fails, Witness.t represents an instruction that does not satisfy the property.

type kind =
  1. | Alloc of {
    1. bytes : int;
    2. dbginfo : Cmm.alloc_dbginfo;
    }
  2. | Indirect_call of {
    1. callee : string option;
    }
  3. | Indirect_tailcall of {
    1. callee : string option;
    }
  4. | Direct_call of {
    1. callee : string;
    }
  5. | Direct_tailcall of {
    1. callee : string;
    }
  6. | Extcall of {
    1. callee : string;
    }
  7. | Arch_specific of Arch.specific_operation
  8. | Probe of {
    1. name : string;
    2. handler_code_sym : string;
    }
  9. | Widen
type hint
type t = {
  1. dbg : Debuginfo.t;
  2. kind : kind;
  3. hint : hint;
}