From cd7b11889e112facc4574178e68b6c3b96651aad Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Wed, 21 Apr 2021 10:26:20 -0700
Subject: [PATCH] [pulse] remove now-unneeded hack to avoid dedup of error
 states

Summary: Addressed by previous commit.

Reviewed By: skcho

Differential Revision: D27911899

fbshipit-source-id: a7b76734a
---
 infer/src/pulse/Pulse.ml | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/infer/src/pulse/Pulse.ml b/infer/src/pulse/Pulse.ml
index eca966ff0..b008e27e4 100644
--- a/infer/src/pulse/Pulse.ml
+++ b/infer/src/pulse/Pulse.ml
@@ -274,15 +274,8 @@ module PulseTransferFunctions = struct
       ({InterproceduralAnalysis.tenv; proc_desc; err_log} as analysis_data) _cfg_node
       (instr : Sil.instr) : Domain.t list =
     match astate with
-    | AbortProgram _ | LatentAbortProgram _ | LatentInvalidAccess _ ->
+    | AbortProgram _ | ISLLatentMemoryError _ | LatentAbortProgram _ | LatentInvalidAccess _ ->
         [astate]
-    | ISLLatentMemoryError _ -> (
-      (* Note: This is to avoid duplicated error states at join point of branch *)
-      match instr with
-      | Prune (_, _, is_then_branch, _) when is_then_branch ->
-          []
-      | _ ->
-          [astate] )
     | ExitProgram _ ->
         (* program already exited, simply propagate the exited state upwards  *)
         [astate]