From 07822ff16e38b06b5c780bb6812c6eaac19fb260 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Mon, 15 Feb 2016 08:43:14 -0800
Subject: [PATCH] output infer source locations on --debug-exceptions

Reviewed By: martinoluca

Differential Revision: D2937568

fb-gh-sync-id: f651926
shipit-source-id: f651926
---
 infer/lib/python/inferlib/analyze.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/lib/python/inferlib/analyze.py b/infer/lib/python/inferlib/analyze.py
index 9152be3f8..cb11444f0 100644
--- a/infer/lib/python/inferlib/analyze.py
+++ b/infer/lib/python/inferlib/analyze.py
@@ -527,7 +527,7 @@ class Infer:
         if self.javac.annotations_out is not None:
             infer_print_options += [
                 '-local_config', self.javac.annotations_out]
-        if self.args.debug:
+        if self.args.debug or self.args.debug_exceptions:
             infer_print_options.append('-with_infer_src_loc')
         exit_status = subprocess.check_call(
             infer_print_cmd + infer_print_options