From c0d3a5ebee2706e92671ddfa67f985c3f606bcec Mon Sep 17 00:00:00 2001
From: Sungkeun Cho <scho@fb.com>
Date: Thu, 5 Mar 2020 02:07:23 -0800
Subject: [PATCH] [inferbo] Suppress noisy internal error messages

Reviewed By: ezgicicek

Differential Revision: D20249568

fbshipit-source-id: 4c3c72f60
---
 infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml b/infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml
index 078801011..c065b724d 100644
--- a/infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml
+++ b/infer/src/bufferoverrun/bufferOverrunOndemandEnv.ml
@@ -45,7 +45,10 @@ let mk pdesc =
                 Some element_typ
             | Some CppStdVector ->
                 Some (Typ.mk (Typ.Tptr (Typ.void, Typ.Pk_pointer)))
-            | Some _ ->
+            | Some JavaCollection ->
+                (* Current Java frontend does give element types of Java collection. *)
+                None
+            | Some JavaInteger ->
                 L.internal_error "Deref of non-array modeled type `%a`" Typ.Name.pp typename ;
                 None
             | None ->