[reportdiff] Remove Internal error

Reviewed By: martintrojer

Differential Revision: D14851206

fbshipit-source-id: 731e2cf56
master
Ezgi Çiçek 6 years ago committed by Facebook Github Bot
parent f12bbacbdd
commit f127d1ca9e

@ -150,11 +150,6 @@ let issue_of_cost cost_info ~delta ~prev_cost ~curr_cost =
("", cost_info.Jsonbug_t.procedure_id) ("", cost_info.Jsonbug_t.procedure_id)
in in
let procname = ExternalPerfData.make_void_signature_procname class_name method_name in let procname = ExternalPerfData.make_void_signature_procname class_name method_name in
Logging.internal_error
"@\n\
[DIFF ANALYSIS] class_name = '%s' method_name = '%s' procedure_id = '%s' Procname = \
'%a' @\n"
class_name method_name cost_info.Jsonbug_t.procedure_id Typ.Procname.pp procname ;
let source_file = SourceFile.create ~warn_on_error:false file in let source_file = SourceFile.create ~warn_on_error:false file in
let issue_type = let issue_type =
if CostDomain.BasicCost.is_top curr_cost then IssueType.infinite_execution_time_call if CostDomain.BasicCost.is_top curr_cost then IssueType.infinite_execution_time_call

Loading…
Cancel
Save