From 45e8db68923f41927d39206c434e14dcbc22d1db Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Tue, 22 Dec 2015 09:49:08 -0800
Subject: [PATCH] turn off intentional crashing on assertion failures in
 developer mode

Reviewed By: akotulski

Differential Revision: D2780215

fb-gh-sync-id: 4801415
---
 infer/src/backend/fork.ml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/infer/src/backend/fork.ml b/infer/src/backend/fork.ml
index a9023267d..5df58b738 100644
--- a/infer/src/backend/fork.ml
+++ b/infer/src/backend/fork.ml
@@ -414,9 +414,6 @@ let interprocedural_algorithm
       { prev_summary with Specs.stats; payload; timestamp; } in
 
     try _analyze_proc exe_env pname with
-    | exn when !Config.developer_mode ->
-        (* in developer mode, fail hard on crashes/timeout *)
-        raise exn
     | Analysis_failure_exe kind as exn ->
         (* in production mode, log the timeout/crash and continue with the summary we had before
            the failure occurred *)