From eab20602a012f315e8a6d580bc15beee7fab0c62 Mon Sep 17 00:00:00 2001 From: Dulma Churchill Date: Tue, 10 Jul 2018 08:55:18 -0700 Subject: [PATCH] [biabduction] Do not log unamatched parameter errors to standard out Reviewed By: jvillard Differential Revision: D8784091 fbshipit-source-id: 462f7eb --- infer/src/IR/Procdesc.ml | 2 +- infer/src/biabduction/SymExec.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/infer/src/IR/Procdesc.ml b/infer/src/IR/Procdesc.ml index 887d1bd0a..9f3473425 100644 --- a/infer/src/IR/Procdesc.ml +++ b/infer/src/IR/Procdesc.ml @@ -684,7 +684,7 @@ let specialize_types ?(has_clang_model= false) callee_pdesc resolved_pname args ((param_name, param_typ) :: params, subts) ) ~init:([], Mangled.Map.empty) callee_attributes.formals args with Invalid_argument _ -> - L.internal_error + L.(debug Analysis Medium) "Call mismatch: method %a has %i paramters but is called with %i arguments@." Typ.Procname.pp resolved_pname (List.length callee_attributes.formals) diff --git a/infer/src/biabduction/SymExec.ml b/infer/src/biabduction/SymExec.ml index 6526a4402..1e161bbc6 100644 --- a/infer/src/biabduction/SymExec.ml +++ b/infer/src/biabduction/SymExec.ml @@ -641,7 +641,7 @@ let resolve_pname ~caller_pdesc tenv prop args pname call_flags : Typ.Procname.t with Invalid_argument _ -> let loc = (Procdesc.get_attributes caller_pdesc).loc in let file = loc.Location.file in - L.internal_error + L.(debug Analysis Medium) "Call mismatch: method %a has %i paramters but is called with %i arguments, in %a, %a@." Typ.Procname.pp pname (List.length resolved_parameters) (List.length args) SourceFile.pp file Location.pp loc ; @@ -672,7 +672,7 @@ let resolve_pname ~caller_pdesc tenv prop args pname call_flags : Typ.Procname.t | args -> let loc = (Procdesc.get_attributes caller_pdesc).loc in let file = loc.Location.file in - L.internal_error + L.(debug Analysis Medium) "Call mismatch: method %a has %i paramters but is called with %i arguments, in %a, %a@." Typ.Procname.pp pname (List.length parameters) (List.length args) SourceFile.pp file Location.pp loc ;