From 417265031318b543ed9c507720f076d876f36071 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Sat, 17 Sep 2016 11:54:12 -0700
Subject: [PATCH] [java] treat CatchVar's emitted by Sawja as temporary
 variables

Reviewed By: cristianoc

Differential Revision: D3871548

fbshipit-source-id: 32274ef
---
 infer/src/IR/Pvar.re | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infer/src/IR/Pvar.re b/infer/src/IR/Pvar.re
index ff0eb1f2e..20c469cba 100644
--- a/infer/src/IR/Pvar.re
+++ b/infer/src/IR/Pvar.re
@@ -268,7 +268,8 @@ let tmp_prefix = "0$?%__sil_tmp";
 let is_frontend_tmp pvar => {
   /* Check whether the program variable is a temporary one generated by sawja */
   let is_sawja_tmp name =>
-    string_is_prefix "$irvar" name || string_is_prefix "$T" name || string_is_prefix "$bc" name;
+    string_is_prefix "$irvar" name ||
+      string_is_prefix "$T" name || string_is_prefix "$bc" name || string_is_prefix "CatchVar" name;
   /* Check whether the program variable is generated by [mk_tmp] */
   let is_sil_tmp name => string_is_prefix tmp_prefix name;
   let name = to_string pvar;