From 08f21959ce02845f83954519c80ba0213ad7baf2 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Mon, 29 Jan 2018 11:01:32 -0800
Subject: [PATCH] [racerd] add missing match case

Reviewed By: da319

Differential Revision: D6832601

fbshipit-source-id: 10129f6
---
 infer/src/concurrency/RacerD.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/infer/src/concurrency/RacerD.ml b/infer/src/concurrency/RacerD.ml
index f82726a50..34a614ee3 100644
--- a/infer/src/concurrency/RacerD.ml
+++ b/infer/src/concurrency/RacerD.ml
@@ -1461,13 +1461,13 @@ let report_unsafe_accesses (aggregated_access_map: reported_access list AccessLi
           let conflicting_writes =
             List.filter
               ~f:(fun {access; precondition; threads= other_threads} ->
+                TraceElem.is_write access
+                &&
                 match precondition with
-                | AccessPrecondition.Unprotected _ ->
-                    TraceElem.is_write access && ThreadsDomain.is_any other_threads
-                | AccessPrecondition.Protected other_excl when is_opposite (excl, other_excl) ->
-                    TraceElem.is_write access
-                | _ ->
-                    false )
+                | Unprotected _ | TotallyUnprotected ->
+                    ThreadsDomain.is_any other_threads
+                | Protected other_excl ->
+                    is_opposite (excl, other_excl) )
               accesses
           in
           if not (List.is_empty conflicting_writes) then