From b8c677497a41e935745c0832e3c562c865aa55f6 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Tue, 23 May 2017 10:30:34 -0700 Subject: [PATCH] [checkers] Kill Localise.checkers_dead_code Reviewed By: jeremydubreil, sblackshear Differential Revision: D5112872 fbshipit-source-id: d1d978e --- infer/src/IR/Localise.ml | 1 - infer/src/IR/Localise.mli | 1 - 2 files changed, 2 deletions(-) diff --git a/infer/src/IR/Localise.ml b/infer/src/IR/Localise.ml index e31440cf5..e93188297 100644 --- a/infer/src/IR/Localise.ml +++ b/infer/src/IR/Localise.ml @@ -43,7 +43,6 @@ let array_out_of_bounds_l2 = from_string "ARRAY_OUT_OF_BOUNDS_L2" let array_out_of_bounds_l3 = from_string "ARRAY_OUT_OF_BOUNDS_L3" let buffer_overrun = from_string "BUFFER_OVERRUN" let checkers_access_global = from_string "CHECKERS_ACCESS_GLOBAL" -let checkers_dead_code = from_string "CHECKERS_DEAD_CODE" let checkers_immutable_cast = from_string "CHECKERS_IMMUTABLE_CAST" let checkers_print_c_call = from_string "CHECKERS_PRINT_C_CALL" let checkers_print_objc_method_calls = from_string "CHECKERS_PRINT_OBJC_METHOD_CALLS" diff --git a/infer/src/IR/Localise.mli b/infer/src/IR/Localise.mli index 5fec3e449..38afe9b98 100644 --- a/infer/src/IR/Localise.mli +++ b/infer/src/IR/Localise.mli @@ -35,7 +35,6 @@ val array_out_of_bounds_l2 : t val array_out_of_bounds_l3 : t val buffer_overrun : t val checkers_access_global : t -val checkers_dead_code : t val checkers_immutable_cast : t val checkers_print_c_call : t val checkers_print_objc_method_calls : t