Module BO__BufferOverrunSemantics.Prune

val prune : IBase.Location.t -> IR.Typ.IntegerWidths.t -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Mem.t

Prune memory with the given condition expression