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