Module Pulselib.PulseLatentIssue

module AbductiveDomain = PulseAbductiveDomain
type t =
| AccessToInvalidAddress of PulseBasicInterface.Diagnostic.access_to_invalid_address
| ReadUninitializedValue of PulseBasicInterface.Diagnostic.read_uninitialized_value
val compare : t -> t -> int
val equal : t -> t -> bool
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
val to_diagnostic : t -> PulseBasicInterface.Diagnostic.t
val should_report : AbductiveDomain.summary -> PulseBasicInterface.Diagnostic.t -> [> `DelayReport of t | `ReportNow ]
val add_call : (PulseBasicInterface.CallEvent.t * IBase.Location.t) -> t -> t