From 7cc0946a5a9d2d00fc86b768e766944c28835fac Mon Sep 17 00:00:00 2001
From: Varun Arora <varunarora@fb.com>
Date: Wed, 28 Feb 2018 07:42:46 -0800
Subject: [PATCH] [backend] change three exceptions to developer-only
 visibility

Summary:
- Array_out_of_bounds_l1
- Array_out_of_bounds_l2
- Class_cast_exception

Reviewed By: dulmarod

Differential Revision: D7098644

fbshipit-source-id: e172e38
---
 infer/src/IR/Exceptions.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/infer/src/IR/Exceptions.ml b/infer/src/IR/Exceptions.ml
index 1935c4e22..ce60b4620 100644
--- a/infer/src/IR/Exceptions.ml
+++ b/infer/src/IR/Exceptions.ml
@@ -186,7 +186,7 @@ let recognize_exception exn =
       { name= IssueType.array_out_of_bounds_l1
       ; description= desc
       ; ml_loc= Some ml_loc
-      ; visibility= Exn_user
+      ; visibility= Exn_developer
       ; severity= High
       ; kind= Some Kerror
       ; category= Checker }
@@ -194,7 +194,7 @@ let recognize_exception exn =
       { name= IssueType.array_out_of_bounds_l2
       ; description= desc
       ; ml_loc= Some ml_loc
-      ; visibility= Exn_user
+      ; visibility= Exn_developer
       ; severity= Medium
       ; kind= None
       ; category= Nocat }
@@ -235,7 +235,7 @@ let recognize_exception exn =
       { name= IssueType.class_cast_exception
       ; description= desc
       ; ml_loc= Some ml_loc
-      ; visibility= Exn_user
+      ; visibility= Exn_developer
       ; severity= High
       ; kind= None
       ; category= Prover }