From 1cdc4e25016bd2a273250ca8a495e421ced9c9ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Fri, 27 Mar 2020 08:08:10 -0700 Subject: [PATCH] [deadcode] Get rid of deadcode Summary: `make deadcode` is still failing on the CI :( Reviewed By: jberdine Differential Revision: D20695863 fbshipit-source-id: 0e98ec6b3 --- infer/src/IR/Instrs.mli | 1 + infer/src/concurrency/RacerDDomain.mli | 2 -- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/src/IR/Instrs.mli b/infer/src/IR/Instrs.mli index 1842b7b12..674b61c28 100644 --- a/infer/src/IR/Instrs.mli +++ b/infer/src/IR/Instrs.mli @@ -32,6 +32,7 @@ val map : not_reversed_t -> f:(Sil.instr -> Sil.instr) -> not_reversed_t val map_and_fold : not_reversed_t -> f:('a -> Sil.instr -> 'a * Sil.instr) -> init:'a -> not_reversed_t + [@@warning "-32"] (** replace every instruction [instr] with [snd (f context instr)]. The context is computed by folding [f] on [init] and previous instructions (before [instr]) in the collection. Preserve physical equality. **) diff --git a/infer/src/concurrency/RacerDDomain.mli b/infer/src/concurrency/RacerDDomain.mli index 03b6c8496..546ea5cc6 100644 --- a/infer/src/concurrency/RacerDDomain.mli +++ b/infer/src/concurrency/RacerDDomain.mli @@ -74,8 +74,6 @@ module OwnershipAbstractValue : sig val owned : t - val unowned : t - val make_owned_if : int -> t val join : t -> t -> t