From 642e6fd33a38d75cf4739402f1da91a911adba1a Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Thu, 30 Jul 2015 14:05:22 -0100 Subject: [PATCH] update fcp --- dependencies/clang-plugin/clang-plugin-version.config | 2 +- infer/src/clang/ast_expressions.ml | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/dependencies/clang-plugin/clang-plugin-version.config b/dependencies/clang-plugin/clang-plugin-version.config index a1f4d2935..ea0295317 100644 --- a/dependencies/clang-plugin/clang-plugin-version.config +++ b/dependencies/clang-plugin/clang-plugin-version.config @@ -1 +1 @@ -85c810aa245fdbd34687b17ec5a8214db2016bcb +a0fc772d4fd97ede2bd1edb3cb1a7dbba27535d5 diff --git a/infer/src/clang/ast_expressions.ml b/infer/src/clang/ast_expressions.ml index 62901597c..b1554184f 100644 --- a/infer/src/clang/ast_expressions.ml +++ b/infer/src/clang/ast_expressions.ml @@ -198,6 +198,7 @@ let make_obj_c_message_expr_info_instance sel = { Clang_ast_t.omei_selector = sel; Clang_ast_t.omei_receiver_kind = `Instance; + Clang_ast_t.omei_is_definition_found = false; Clang_ast_t.omei_decl_pointer = None (* TODO look into it *) } @@ -205,6 +206,7 @@ let make_obj_c_message_expr_info_class selector qt = { omei_selector = selector; omei_receiver_kind = `Class (create_qual_type qt); + Clang_ast_t.omei_is_definition_found = false; Clang_ast_t.omei_decl_pointer = None (* TODO look into it *) } @@ -558,7 +560,7 @@ let translate_block_enumerate block_name stmt_info stmt_list ei = let objc_sre = ObjCSubscriptRefExpr((fresh_stmt_info stmt_info), [ove_array; ove_idx], make_expr_info (pseudo_object_qt ()), { osrei_kind =`ArraySubscript; osrei_getter = None; osrei_setter = None; }) in - let obj_c_message_expr_info = { omei_selector = CFrontend_config.object_at_indexed_subscript_m; omei_receiver_kind =`Instance; omei_decl_pointer = None} in + let obj_c_message_expr_info = make_obj_c_message_expr_info_instance CFrontend_config.object_at_indexed_subscript_m in let ome = ObjCMessageExpr((fresh_stmt_info stmt_info), [ove_array; ove_idx], poe_ei, obj_c_message_expr_info) in let pseudo_obj_expr = PseudoObjectExpr((fresh_stmt_info stmt_info), [objc_sre; ove_array; ove_idx; ome], poe_ei) in let vdi = { empty_var_decl_info with vdi_init_expr = Some (pseudo_obj_expr) } in