From f90bf94bd70f1661f5e4873b37c22efc47a62321 Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Tue, 21 Jun 2016 07:10:03 -0700 Subject: [PATCH] Making empty vector an error Reviewed By: akotulski Differential Revision: D3434750 fbshipit-source-id: d60275a --- infer/src/backend/exceptions.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/exceptions.ml b/infer/src/backend/exceptions.ml index 4173ce2d8..5b6349e68 100644 --- a/infer/src/backend/exceptions.ml +++ b/infer/src/backend/exceptions.ml @@ -172,7 +172,7 @@ let recognize_exception exn = (Localise.from_string kind_s, desc, None, Exn_user, High, None, Prover) | Empty_vector_access (desc, ml_loc) -> (Localise.empty_vector_access, - desc, Some ml_loc, Exn_user, High, None, Prover) + desc, Some ml_loc, Exn_user, High, Some Kerror, Prover) | Field_not_null_checked (desc, ml_loc) -> (Localise.field_not_null_checked, desc, Some ml_loc, Exn_user, Medium, Some Kwarning, Nocat)