From 212bd978e7de7cc248b75332fb4425b647fd6f2d Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Thu, 28 Feb 2019 08:37:01 -0800
Subject: [PATCH] [purity] Allow Clang

Reviewed By: ezgicicek

Differential Revision: D14224431

fbshipit-source-id: b9f5cb49c
---
 infer/src/checkers/purity.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/infer/src/checkers/purity.ml b/infer/src/checkers/purity.ml
index f0738780f..f6fbd5a57 100644
--- a/infer/src/checkers/purity.ml
+++ b/infer/src/checkers/purity.ml
@@ -162,8 +162,9 @@ module TransferFunctions = struct
                 if Typ.Procname.is_constructor called_pname then Domain.pure
                 else Domain.impure_global ) )
     | Call (_, Indirect _, _, _, _) ->
-        (* This should never happen in Java. Fail if it does. *)
-        L.(die InternalError) "Unexpected indirect call %a" HilInstr.pp instr
+        (* This should never happen in Java *)
+        debug "Unexpected indirect call %a" HilInstr.pp instr ;
+        AbstractDomain.Types.Top
     | _ ->
         astate