diff --git a/Makefile.in b/Makefile.in index 74e12af10..efa14dcf0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -86,6 +86,9 @@ endif clang: clang_plugin endif +test_build_src: + $(MAKE) -C $(SRC_DIR) test_build + test_build_clang: clang_plugin $(MAKE) -C $(INFER_DIR) clang @@ -95,7 +98,7 @@ test_build_java: test_build_llvm: $(MAKE) -C $(INFER_DIR) llvm -test_build: test_build_clang test_build_java test_build_llvm +test_build: test_build_src test_build_clang test_build_java test_build_llvm unit: $(MAKE) -C $(SRC_DIR) unit diff --git a/infer/src/backend/taint.ml b/infer/src/backend/taint.ml index ceb74fd6d..b7410b102 100644 --- a/infer/src/backend/taint.ml +++ b/infer/src/backend/taint.ml @@ -219,13 +219,6 @@ let objc_method_to_procname objc_method = Procname.ObjC_Cpp (Procname.objc_cpp objc_method.classname objc_method.method_name mangled) -let method_str_to_pname method_str = - match method_str.language with - | Config.Clang -> - objc_method_to_procname method_str - | Config.Java -> - java_method_to_procname method_str - let taint_spec_to_taint_info taint_spec = let taint_source = match taint_spec.language with diff --git a/infer/src/clang/cMethod_trans.ml b/infer/src/clang/cMethod_trans.ml index b71d0be71..b64af516f 100644 --- a/infer/src/clang/cMethod_trans.ml +++ b/infer/src/clang/cMethod_trans.ml @@ -291,7 +291,7 @@ let skip_property_accessor ms = let open Clang_ast_t in let pointer_to_property_opt = CMethod_signature.ms_get_pointer_to_property_opt ms in match Ast_utils.get_decl_opt pointer_to_property_opt with - | Some (ObjCPropertyDecl _ as d) -> true + | Some (ObjCPropertyDecl _) -> true | _ -> false let get_formal_parameters tenv ms =