From 379d185d7460f72ab74532656e4f7ef3845b063c Mon Sep 17 00:00:00 2001 From: Dulma Rodriguez Date: Fri, 26 Feb 2016 02:33:58 -0800 Subject: [PATCH] Sort the fields in the tenv at the end of translation as some translations need the original order Reviewed By: jvillard Differential Revision: D2977233 fb-gh-sync-id: a61b054 shipit-source-id: a61b054 --- infer/src/clang/cField_decl.ml | 3 +- infer/src/clang/cFrontend.ml | 1 + infer/src/clang/cFrontend_utils.ml | 10 + infer/src/clang/cFrontend_utils.mli | 2 + infer/src/clang/cTrans.ml | 1 - infer/src/clang/cTypes_decl.ml | 9 +- infer/src/clang/objcCategory_decl.ml | 1 - infer/src/clang/objcInterface_decl.ml | 1 - .../initialization/struct_initlistexpr.c | 4 +- .../initialization/struct_initlistexpr.c.dot | 8 +- .../frontend/assertions/NSAssert_example.dot | 421 +++++++++--------- .../objc/frontend/block/block.dot | 2 +- .../objc/frontend/block/block_no_args.dot | 2 +- .../tests/endtoend/objc/InitListExprTest.java | 2 +- 14 files changed, 241 insertions(+), 226 deletions(-) diff --git a/infer/src/clang/cField_decl.ml b/infer/src/clang/cField_decl.ml index 0b25275ad..71eb576f0 100644 --- a/infer/src/clang/cField_decl.ml +++ b/infer/src/clang/cField_decl.ml @@ -79,8 +79,7 @@ let add_missing_fields tenv class_name ck fields = let class_tn_name = Typename.TN_csu (Csu.Class ck, mang_name) in match Sil.tenv_lookup tenv class_tn_name with | Some Sil.Tstruct ({ Sil.instance_fields } as struct_typ) -> - let new_fields = General_utils.append_no_duplicates_fields fields instance_fields in - let new_fields = CFrontend_utils.General_utils.sort_fields new_fields in + let new_fields = General_utils.append_no_duplicates_fields instance_fields fields in let class_type_info = Sil.Tstruct { struct_typ with diff --git a/infer/src/clang/cFrontend.ml b/infer/src/clang/cFrontend.ml index e37b52e76..378607c2b 100644 --- a/infer/src/clang/cFrontend.ml +++ b/infer/src/clang/cFrontend.ml @@ -155,6 +155,7 @@ let do_source_file source_file ast = (*Logging.out "Tenv %a@." Sil.pp_tenv tenv;*) (* Printing.print_tenv tenv; *) (*Printing.print_procedures cfg; *) + General_utils.sort_fields_tenv tenv; Sil.store_tenv_to_file tenv_file tenv; if !CFrontend_config.stats_mode then Cfg.check_cfg_connectedness cfg; if !CFrontend_config.stats_mode || !CFrontend_config.debug_mode || !CFrontend_config.testing_mode then diff --git a/infer/src/clang/cFrontend_utils.ml b/infer/src/clang/cFrontend_utils.ml index 1a897481d..71bee0144 100644 --- a/infer/src/clang/cFrontend_utils.ml +++ b/infer/src/clang/cFrontend_utils.ml @@ -464,6 +464,16 @@ struct Ident.fieldname_compare name1 name2 in IList.sort compare fields + + let sort_fields_tenv tenv = + let sort_fields_struct typname typ = + match typ with + | Sil.Tstruct st -> + let st' = { st with Sil.instance_fields = (sort_fields st.Sil.instance_fields) } in + Sil.tenv_add tenv typname (Sil.Tstruct st') + | _ -> () in + Sil.tenv_iter sort_fields_struct tenv + let rec collect_list_tuples l (a, a1, b, c, d) = match l with | [] -> (a, a1, b, c, d) diff --git a/infer/src/clang/cFrontend_utils.mli b/infer/src/clang/cFrontend_utils.mli index 88d4b32b2..737d1045f 100644 --- a/infer/src/clang/cFrontend_utils.mli +++ b/infer/src/clang/cFrontend_utils.mli @@ -142,6 +142,8 @@ sig val sort_fields : (Ident.fieldname * Sil.typ * Sil.item_annotation) list -> (Ident.fieldname * Sil.typ * Sil.item_annotation) list + val sort_fields_tenv : Sil.tenv -> unit + val collect_list_tuples : ('a list * 'b list * 'c list * 'd list * 'e list) list -> 'a list * 'b list * 'c list * 'd list * 'e list -> 'a list * 'b list * 'c list * 'd list * 'e list diff --git a/infer/src/clang/cTrans.ml b/infer/src/clang/cTrans.ml index 73d091e02..cda0cb3a0 100644 --- a/infer/src/clang/cTrans.ml +++ b/infer/src/clang/cTrans.ml @@ -112,7 +112,6 @@ struct let item_annot = Sil.item_annotation_empty in fname, typ, item_annot in let fields = IList.map mk_field_from_captured_var captured_vars in - let fields = CFrontend_utils.General_utils.sort_fields fields in Printing.log_out "Block %s field:\n" block_name; IList.iter (fun (fn, _, _) -> Printing.log_out "-----> field: '%s'\n" (Ident.fieldname_to_string fn)) fields; diff --git a/infer/src/clang/cTypes_decl.ml b/infer/src/clang/cTypes_decl.ml index 1c7ffa79f..ef4ca2ca1 100644 --- a/infer/src/clang/cTypes_decl.ml +++ b/infer/src/clang/cTypes_decl.ml @@ -182,14 +182,13 @@ and get_struct_cpp_class_declaration_type tenv decl = if is_complete_definition then ( Ast_utils.update_sil_types_map type_ptr (Sil.Tvar sil_typename); let non_static_fields = get_struct_fields tenv decl in - let non_static_fields' = - General_utils.append_no_duplicates_fields extra_fields non_static_fields in - let sorted_non_static_fields = General_utils.sort_fields non_static_fields' in + let non_static_fields = + General_utils.append_no_duplicates_fields non_static_fields extra_fields in let static_fields = [] in (* Note: We treat static field same as global variables *) let def_methods = get_class_methods name decl_list in (* C++ methods only *) let superclasses = get_superclass_list_cpp decl in let sil_type = Sil.Tstruct { - Sil.instance_fields = sorted_non_static_fields; + Sil.instance_fields = non_static_fields; static_fields; csu; struct_name = Some mangled_name; @@ -212,7 +211,7 @@ and get_struct_cpp_class_declaration_type tenv decl = (* there was no full definition of that type yet. *) let tvar_type = Sil.Tvar sil_typename in let empty_struct_type = Sil.Tstruct { - Sil.instance_fields = General_utils.sort_fields extra_fields; + Sil.instance_fields = extra_fields; static_fields = []; csu; struct_name = Some mangled_name; diff --git a/infer/src/clang/objcCategory_decl.ml b/infer/src/clang/objcCategory_decl.ml index 0ba6bf39e..8aaa9b8e3 100644 --- a/infer/src/clang/objcCategory_decl.ml +++ b/infer/src/clang/objcCategory_decl.ml @@ -80,7 +80,6 @@ let process_category type_ptr_to_sil_type tenv curr_class decl_info decl_list = ({ Sil.instance_fields; def_methods } as struct_typ) -> let new_fields = General_utils.append_no_duplicates_fields fields instance_fields in - let new_fields = CFrontend_utils.General_utils.sort_fields new_fields in let new_methods = General_utils.append_no_duplicates_methods methods def_methods in let class_type_info = Sil.Tstruct { struct_typ with diff --git a/infer/src/clang/objcInterface_decl.ml b/infer/src/clang/objcInterface_decl.ml index 3aa9c2436..b0db5099a 100644 --- a/infer/src/clang/objcInterface_decl.ml +++ b/infer/src/clang/objcInterface_decl.ml @@ -121,7 +121,6 @@ let add_class_to_tenv type_ptr_to_sil_type tenv curr_class decl_info class_name let fields = General_utils.append_no_duplicates_fields fields fields_sc in (* We add the special hidden counter_field for implementing reference counting *) let fields = General_utils.append_no_duplicates_fields [Sil.objc_ref_counter_field] fields in - let fields = General_utils.sort_fields fields in Printing.log_out "Class %s field:\n" class_name; IList.iter (fun (fn, _, _) -> Printing.log_out "-----> field: '%s'\n" (Ident.fieldname_to_string fn)) fields; diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c index 1c271f19a..03b77454e 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c +++ b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c @@ -31,7 +31,7 @@ struct Employee { } doj; } emp1; -int main2() { +int field_set_correctly() { struct Employee e = {12, 3000.50, 12, 12, 2010}; - return e.ssn; + return 1 / (e.ssn - 12); } diff --git a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot index 89316ffb7..9c71894f9 100644 --- a/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot +++ b/infer/tests/codetoanalyze/c/frontend/initialization/struct_initlistexpr.c.dot @@ -1,16 +1,16 @@ digraph iCFG { -14 [label="14: DeclStmt \n *&e.doj.date:int =12 [line 35]\n *&e.doj.month:int =3000.500000 [line 35]\n *&e.doj.year:int =12 [line 35]\n *&e.salary:float =12 [line 35]\n *&e.ssn:int =2010 [line 35]\n " shape="box"] +14 [label="14: DeclStmt \n *&e.ssn:int =12 [line 35]\n *&e.salary:float =3000.500000 [line 35]\n *&e.doj.date:int =12 [line 35]\n *&e.doj.month:int =12 [line 35]\n *&e.doj.year:int =2010 [line 35]\n " shape="box"] 14 -> 13 ; -13 [label="13: Return Stmt \n n$0=*&e.ssn:int [line 36]\n *&return:int =n$0 [line 36]\n REMOVE_TEMPS(n$0); [line 36]\n NULLIFY(&e,false); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] +13 [label="13: Return Stmt \n n$0=*&e.ssn:int [line 36]\n *&return:int =(1 / (n$0 - 12)) [line 36]\n REMOVE_TEMPS(n$0); [line 36]\n NULLIFY(&e,false); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] 13 -> 12 ; -12 [label="12: Exit main2 \n " color=yellow style=filled] +12 [label="12: Exit field_set_correctly \n " color=yellow style=filled] -11 [label="11: Start main2\nFormals: \nLocals: e:struct Employee \n DECLARE_LOCALS(&return,&e); [line 34]\n " color=yellow style=filled] +11 [label="11: Start field_set_correctly\nFormals: \nLocals: e:struct Employee \n DECLARE_LOCALS(&return,&e); [line 34]\n " color=yellow style=filled] 11 -> 14 ; diff --git a/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.dot b/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.dot index 2437dfb86..01b4a8962 100644 --- a/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.dot +++ b/infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.dot @@ -1,436 +1,443 @@ digraph iCFG { -105 [label="105: DeclStmt \n n$20=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 36]\n _fun___objc_retain(n$20:class NSString *) [line 36]\n *&__assert_fn__:class NSString *=n$20 [line 36]\n REMOVE_TEMPS(n$20); [line 36]\n " shape="box"] +107 [label="107: DeclStmt \n n$20=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 36]\n _fun___objc_retain(n$20:class NSString *) [line 36]\n *&__assert_fn__:class NSString *=n$20 [line 36]\n REMOVE_TEMPS(n$20); [line 36]\n " shape="box"] + + + 107 -> 102 ; + 107 -> 103 ; +106 [label="106: BinaryOperatorStmt: Assign \n n$18=*&SIL_temp_conditional___101:class NSString * [line 36]\n NULLIFY(&SIL_temp_conditional___101,true); [line 36]\n _fun___objc_retain(n$18:class NSString *) [line 36]\n n$19=*&__assert_fn__:class NSString * [line 36]\n *&__assert_fn__:class NSString *=n$18 [line 36]\n _fun___objc_release(n$19:class NSString *) [line 36]\n REMOVE_TEMPS(n$18,n$19); [line 36]\n NULLIFY(&__assert_fn__,false); [line 36]\n " shape="box"] + + + 106 -> 100 ; +105 [label="105: ConditinalStmt Branch \n n$17=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___101); [line 36]\n *&SIL_temp_conditional___101:class NSString *=n$17 [line 36]\n REMOVE_TEMPS(n$17); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 105 -> 100 ; 105 -> 101 ; -104 [label="104: BinaryOperatorStmt: Assign \n n$18=*&SIL_temp_conditional___99:class NSString * [line 36]\n NULLIFY(&SIL_temp_conditional___99,true); [line 36]\n _fun___objc_retain(n$18:class NSString *) [line 36]\n n$19=*&__assert_fn__:class NSString * [line 36]\n *&__assert_fn__:class NSString *=n$18 [line 36]\n _fun___objc_release(n$19:class NSString *) [line 36]\n REMOVE_TEMPS(n$18,n$19); [line 36]\n NULLIFY(&__assert_fn__,false); [line 36]\n " shape="box"] +104 [label="104: ConditinalStmt Branch \n n$16=*&__assert_fn__:class NSString * [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___101); [line 36]\n *&SIL_temp_conditional___101:class NSString *=n$16 [line 36]\n REMOVE_TEMPS(n$16); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 104 -> 98 ; -103 [label="103: ConditinalStmt Branch \n n$17=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___99); [line 36]\n *&SIL_temp_conditional___99:class NSString *=n$17 [line 36]\n REMOVE_TEMPS(n$17); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 104 -> 101 ; +103 [label="103: Prune (false branch) \n n$15=*&__assert_fn__:class NSString * [line 36]\n PRUNE((n$15 == 0), false); [line 36]\n REMOVE_TEMPS(n$15); [line 36]\n " shape="invhouse"] - 103 -> 99 ; -102 [label="102: ConditinalStmt Branch \n n$16=*&__assert_fn__:class NSString * [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___99); [line 36]\n *&SIL_temp_conditional___99:class NSString *=n$16 [line 36]\n REMOVE_TEMPS(n$16); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 103 -> 105 ; +102 [label="102: Prune (true branch) \n n$15=*&__assert_fn__:class NSString * [line 36]\n PRUNE((n$15 != 0), true); [line 36]\n REMOVE_TEMPS(n$15); [line 36]\n " shape="invhouse"] - 102 -> 99 ; -101 [label="101: Prune (false branch) \n n$15=*&__assert_fn__:class NSString * [line 36]\n PRUNE((n$15 == 0), false); [line 36]\n REMOVE_TEMPS(n$15); [line 36]\n " shape="invhouse"] + 102 -> 104 ; +101 [label="101: + \n " ] - 101 -> 103 ; -100 [label="100: Prune (true branch) \n n$15=*&__assert_fn__:class NSString * [line 36]\n PRUNE((n$15 != 0), true); [line 36]\n REMOVE_TEMPS(n$15); [line 36]\n " shape="invhouse"] + 101 -> 106 ; +100 [label="100: DeclStmt \n n$14=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 36]\n _fun___objc_retain(n$14:class NSString *) [line 36]\n *&__assert_file__:class NSString *=n$14 [line 36]\n REMOVE_TEMPS(n$14); [line 36]\n " shape="box"] - 100 -> 102 ; -99 [label="99: + \n " ] + 100 -> 95 ; + 100 -> 96 ; +99 [label="99: BinaryOperatorStmt: Assign \n n$12=*&SIL_temp_conditional___94:class NSString * [line 36]\n NULLIFY(&SIL_temp_conditional___94,true); [line 36]\n _fun___objc_retain(n$12:class NSString *) [line 36]\n n$13=*&__assert_file__:class NSString * [line 36]\n *&__assert_file__:class NSString *=n$12 [line 36]\n _fun___objc_release(n$13:class NSString *) [line 36]\n REMOVE_TEMPS(n$12,n$13); [line 36]\n NULLIFY(&__assert_file__,false); [line 36]\n " shape="box"] - 99 -> 104 ; -98 [label="98: DeclStmt \n n$14=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 36]\n _fun___objc_retain(n$14:class NSString *) [line 36]\n *&__assert_file__:class NSString *=n$14 [line 36]\n REMOVE_TEMPS(n$14); [line 36]\n " shape="box"] + 99 -> 93 ; +98 [label="98: ConditinalStmt Branch \n n$11=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___94); [line 36]\n *&SIL_temp_conditional___94:class NSString *=n$11 [line 36]\n REMOVE_TEMPS(n$11); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 98 -> 93 ; 98 -> 94 ; -97 [label="97: BinaryOperatorStmt: Assign \n n$12=*&SIL_temp_conditional___92:class NSString * [line 36]\n NULLIFY(&SIL_temp_conditional___92,true); [line 36]\n _fun___objc_retain(n$12:class NSString *) [line 36]\n n$13=*&__assert_file__:class NSString * [line 36]\n *&__assert_file__:class NSString *=n$12 [line 36]\n _fun___objc_release(n$13:class NSString *) [line 36]\n REMOVE_TEMPS(n$12,n$13); [line 36]\n NULLIFY(&__assert_file__,false); [line 36]\n " shape="box"] +97 [label="97: ConditinalStmt Branch \n n$10=*&__assert_file__:class NSString * [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___94); [line 36]\n *&SIL_temp_conditional___94:class NSString *=n$10 [line 36]\n REMOVE_TEMPS(n$10); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 97 -> 91 ; -96 [label="96: ConditinalStmt Branch \n n$11=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___92); [line 36]\n *&SIL_temp_conditional___92:class NSString *=n$11 [line 36]\n REMOVE_TEMPS(n$11); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 97 -> 94 ; +96 [label="96: Prune (false branch) \n n$9=*&__assert_file__:class NSString * [line 36]\n PRUNE((n$9 == 0), false); [line 36]\n REMOVE_TEMPS(n$9); [line 36]\n " shape="invhouse"] - 96 -> 92 ; -95 [label="95: ConditinalStmt Branch \n n$10=*&__assert_file__:class NSString * [line 36]\n DECLARE_LOCALS(&SIL_temp_conditional___92); [line 36]\n *&SIL_temp_conditional___92:class NSString *=n$10 [line 36]\n REMOVE_TEMPS(n$10); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 96 -> 98 ; +95 [label="95: Prune (true branch) \n n$9=*&__assert_file__:class NSString * [line 36]\n PRUNE((n$9 != 0), true); [line 36]\n REMOVE_TEMPS(n$9); [line 36]\n " shape="invhouse"] - 95 -> 92 ; -94 [label="94: Prune (false branch) \n n$9=*&__assert_file__:class NSString * [line 36]\n PRUNE((n$9 == 0), false); [line 36]\n REMOVE_TEMPS(n$9); [line 36]\n " shape="invhouse"] + 95 -> 97 ; +94 [label="94: + \n " ] - 94 -> 96 ; -93 [label="93: Prune (true branch) \n n$9=*&__assert_file__:class NSString * [line 36]\n PRUNE((n$9 != 0), true); [line 36]\n REMOVE_TEMPS(n$9); [line 36]\n " shape="invhouse"] + 94 -> 99 ; +93 [label="93: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 93 -> 95 ; -92 [label="92: + \n " ] + 93 -> 80 ; +92 [label="92: Prune (false branch) \n n$3=*&SIL_temp_conditional___86:int [line 36]\n NULLIFY(&SIL_temp_conditional___86,true); [line 36]\n PRUNE((n$3 == 0), false); [line 36]\n REMOVE_TEMPS(n$3); [line 36]\n " shape="invhouse"] - 92 -> 97 ; -91 [label="91: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 92 -> 85 ; +91 [label="91: Prune (true branch) \n n$3=*&SIL_temp_conditional___86:int [line 36]\n NULLIFY(&SIL_temp_conditional___86,true); [line 36]\n PRUNE((n$3 != 0), true); [line 36]\n REMOVE_TEMPS(n$3); [line 36]\n NULLIFY(&target,false); [line 36]\n " shape="invhouse"] - 91 -> 78 ; -90 [label="90: Prune (false branch) \n n$3=*&SIL_temp_conditional___84:int [line 36]\n NULLIFY(&SIL_temp_conditional___84,true); [line 36]\n PRUNE((n$3 == 0), false); [line 36]\n REMOVE_TEMPS(n$3); [line 36]\n " shape="invhouse"] + 91 -> 107 ; +90 [label="90: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___86); [line 36]\n *&SIL_temp_conditional___86:int =1 [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 90 -> 83 ; -89 [label="89: Prune (true branch) \n n$3=*&SIL_temp_conditional___84:int [line 36]\n NULLIFY(&SIL_temp_conditional___84,true); [line 36]\n PRUNE((n$3 != 0), true); [line 36]\n REMOVE_TEMPS(n$3); [line 36]\n NULLIFY(&target,false); [line 36]\n " shape="invhouse"] + 90 -> 86 ; +89 [label="89: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___86); [line 36]\n *&SIL_temp_conditional___86:int =0 [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] - 89 -> 105 ; -88 [label="88: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___84); [line 36]\n *&SIL_temp_conditional___84:int =1 [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 89 -> 86 ; +88 [label="88: Prune (false branch) \n n$2=*&target:class A * [line 36]\n PRUNE((n$2 == 0), false); [line 36]\n REMOVE_TEMPS(n$2); [line 36]\n " shape="invhouse"] - 88 -> 84 ; -87 [label="87: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___84); [line 36]\n *&SIL_temp_conditional___84:int =0 [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="box"] + 88 -> 90 ; +87 [label="87: Prune (true branch) \n n$2=*&target:class A * [line 36]\n PRUNE((n$2 != 0), true); [line 36]\n REMOVE_TEMPS(n$2); [line 36]\n " shape="invhouse"] - 87 -> 84 ; -86 [label="86: Prune (false branch) \n n$2=*&target:class A * [line 36]\n PRUNE((n$2 == 0), false); [line 36]\n REMOVE_TEMPS(n$2); [line 36]\n " shape="invhouse"] + 87 -> 89 ; +86 [label="86: + \n " ] - 86 -> 88 ; -85 [label="85: Prune (true branch) \n n$2=*&target:class A * [line 36]\n PRUNE((n$2 != 0), true); [line 36]\n REMOVE_TEMPS(n$2); [line 36]\n " shape="invhouse"] + 86 -> 91 ; + 86 -> 92 ; +85 [label="85: + \n " ] - 85 -> 87 ; -84 [label="84: + \n " ] + 85 -> 83 ; + 85 -> 84 ; +84 [label="84: Prune (false branch) \n PRUNE((0 == 0), false); [line 36]\n " shape="invhouse"] - 84 -> 89 ; - 84 -> 90 ; -83 [label="83: + \n " ] + 84 -> 81 ; +83 [label="83: Prune (true branch) \n PRUNE((0 != 0), true); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="invhouse"] - 83 -> 81 ; 83 -> 82 ; -82 [label="82: Prune (false branch) \n PRUNE((0 == 0), false); [line 36]\n " shape="invhouse"] +82 [label="82: + \n " ] - 82 -> 79 ; -81 [label="81: Prune (true branch) \n PRUNE((0 != 0), true); [line 36]\n APPLY_ABSTRACTION; [line 36]\n " shape="invhouse"] + 82 -> 87 ; + 82 -> 88 ; +81 [label="81: Return Stmt \n n$0=*&target:class A * [line 37]\n n$1=_fun_A_x(n$0:class A *) [line 37]\n *&return:int =n$1 [line 37]\n REMOVE_TEMPS(n$0,n$1); [line 37]\n NULLIFY(&target,false); [line 37]\n APPLY_ABSTRACTION; [line 37]\n " shape="box"] 81 -> 80 ; -80 [label="80: + \n " ] +80 [label="80: Exit test2 \n " color=yellow style=filled] - 80 -> 85 ; - 80 -> 86 ; -79 [label="79: Return Stmt \n n$0=*&target:class A * [line 37]\n n$1=_fun_A_x(n$0:class A *) [line 37]\n *&return:int =n$1 [line 37]\n REMOVE_TEMPS(n$0,n$1); [line 37]\n NULLIFY(&target,false); [line 37]\n APPLY_ABSTRACTION; [line 37]\n " shape="box"] +79 [label="79: Start test2\nFormals: target:class A *\nLocals: __assert_file__:class NSString * __assert_fn__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__,&__assert_fn__); [line 35]\n NULLIFY(&__assert_file__,false); [line 35]\n NULLIFY(&__assert_fn__,false); [line 35]\n " color=yellow style=filled] - 79 -> 78 ; -78 [label="78: Exit test2 \n " color=yellow style=filled] + 79 -> 82 ; +78 [label="78: DeclStmt \n n$19=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 31]\n _fun___objc_retain(n$19:class NSString *) [line 31]\n *&__assert_fn__:class NSString *=n$19 [line 31]\n REMOVE_TEMPS(n$19); [line 31]\n " shape="box"] -77 [label="77: Start test2\nFormals: target:class A *\nLocals: __assert_file__:class NSString * __assert_fn__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__,&__assert_fn__); [line 35]\n NULLIFY(&__assert_file__,false); [line 35]\n NULLIFY(&__assert_fn__,false); [line 35]\n " color=yellow style=filled] + 78 -> 73 ; + 78 -> 74 ; +77 [label="77: BinaryOperatorStmt: Assign \n n$17=*&SIL_temp_conditional___72:class NSString * [line 31]\n NULLIFY(&SIL_temp_conditional___72,true); [line 31]\n _fun___objc_retain(n$17:class NSString *) [line 31]\n n$18=*&__assert_fn__:class NSString * [line 31]\n *&__assert_fn__:class NSString *=n$17 [line 31]\n _fun___objc_release(n$18:class NSString *) [line 31]\n REMOVE_TEMPS(n$17,n$18); [line 31]\n NULLIFY(&__assert_fn__,false); [line 31]\n " shape="box"] - 77 -> 80 ; -76 [label="76: DeclStmt \n n$19=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 31]\n _fun___objc_retain(n$19:class NSString *) [line 31]\n *&__assert_fn__:class NSString *=n$19 [line 31]\n REMOVE_TEMPS(n$19); [line 31]\n " shape="box"] + 77 -> 71 ; +76 [label="76: ConditinalStmt Branch \n n$16=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___72); [line 31]\n *&SIL_temp_conditional___72:class NSString *=n$16 [line 31]\n REMOVE_TEMPS(n$16); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 76 -> 71 ; 76 -> 72 ; -75 [label="75: BinaryOperatorStmt: Assign \n n$17=*&SIL_temp_conditional___70:class NSString * [line 31]\n NULLIFY(&SIL_temp_conditional___70,true); [line 31]\n _fun___objc_retain(n$17:class NSString *) [line 31]\n n$18=*&__assert_fn__:class NSString * [line 31]\n *&__assert_fn__:class NSString *=n$17 [line 31]\n _fun___objc_release(n$18:class NSString *) [line 31]\n REMOVE_TEMPS(n$17,n$18); [line 31]\n NULLIFY(&__assert_fn__,false); [line 31]\n " shape="box"] +75 [label="75: ConditinalStmt Branch \n n$15=*&__assert_fn__:class NSString * [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___72); [line 31]\n *&SIL_temp_conditional___72:class NSString *=n$15 [line 31]\n REMOVE_TEMPS(n$15); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 75 -> 69 ; -74 [label="74: ConditinalStmt Branch \n n$16=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___70); [line 31]\n *&SIL_temp_conditional___70:class NSString *=n$16 [line 31]\n REMOVE_TEMPS(n$16); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 75 -> 72 ; +74 [label="74: Prune (false branch) \n n$14=*&__assert_fn__:class NSString * [line 31]\n PRUNE((n$14 == 0), false); [line 31]\n REMOVE_TEMPS(n$14); [line 31]\n " shape="invhouse"] - 74 -> 70 ; -73 [label="73: ConditinalStmt Branch \n n$15=*&__assert_fn__:class NSString * [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___70); [line 31]\n *&SIL_temp_conditional___70:class NSString *=n$15 [line 31]\n REMOVE_TEMPS(n$15); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 74 -> 76 ; +73 [label="73: Prune (true branch) \n n$14=*&__assert_fn__:class NSString * [line 31]\n PRUNE((n$14 != 0), true); [line 31]\n REMOVE_TEMPS(n$14); [line 31]\n " shape="invhouse"] - 73 -> 70 ; -72 [label="72: Prune (false branch) \n n$14=*&__assert_fn__:class NSString * [line 31]\n PRUNE((n$14 == 0), false); [line 31]\n REMOVE_TEMPS(n$14); [line 31]\n " shape="invhouse"] + 73 -> 75 ; +72 [label="72: + \n " ] - 72 -> 74 ; -71 [label="71: Prune (true branch) \n n$14=*&__assert_fn__:class NSString * [line 31]\n PRUNE((n$14 != 0), true); [line 31]\n REMOVE_TEMPS(n$14); [line 31]\n " shape="invhouse"] + 72 -> 77 ; +71 [label="71: DeclStmt \n n$13=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 31]\n _fun___objc_retain(n$13:class NSString *) [line 31]\n *&__assert_file__:class NSString *=n$13 [line 31]\n REMOVE_TEMPS(n$13); [line 31]\n " shape="box"] - 71 -> 73 ; -70 [label="70: + \n " ] + 71 -> 66 ; + 71 -> 67 ; +70 [label="70: BinaryOperatorStmt: Assign \n n$11=*&SIL_temp_conditional___65:class NSString * [line 31]\n NULLIFY(&SIL_temp_conditional___65,true); [line 31]\n _fun___objc_retain(n$11:class NSString *) [line 31]\n n$12=*&__assert_file__:class NSString * [line 31]\n *&__assert_file__:class NSString *=n$11 [line 31]\n _fun___objc_release(n$12:class NSString *) [line 31]\n REMOVE_TEMPS(n$11,n$12); [line 31]\n NULLIFY(&__assert_file__,false); [line 31]\n " shape="box"] - 70 -> 75 ; -69 [label="69: DeclStmt \n n$13=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 31]\n _fun___objc_retain(n$13:class NSString *) [line 31]\n *&__assert_file__:class NSString *=n$13 [line 31]\n REMOVE_TEMPS(n$13); [line 31]\n " shape="box"] + 70 -> 64 ; +69 [label="69: ConditinalStmt Branch \n n$10=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___65); [line 31]\n *&SIL_temp_conditional___65:class NSString *=n$10 [line 31]\n REMOVE_TEMPS(n$10); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 69 -> 64 ; 69 -> 65 ; -68 [label="68: BinaryOperatorStmt: Assign \n n$11=*&SIL_temp_conditional___63:class NSString * [line 31]\n NULLIFY(&SIL_temp_conditional___63,true); [line 31]\n _fun___objc_retain(n$11:class NSString *) [line 31]\n n$12=*&__assert_file__:class NSString * [line 31]\n *&__assert_file__:class NSString *=n$11 [line 31]\n _fun___objc_release(n$12:class NSString *) [line 31]\n REMOVE_TEMPS(n$11,n$12); [line 31]\n NULLIFY(&__assert_file__,false); [line 31]\n " shape="box"] +68 [label="68: ConditinalStmt Branch \n n$9=*&__assert_file__:class NSString * [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___65); [line 31]\n *&SIL_temp_conditional___65:class NSString *=n$9 [line 31]\n REMOVE_TEMPS(n$9); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 68 -> 62 ; -67 [label="67: ConditinalStmt Branch \n n$10=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___63); [line 31]\n *&SIL_temp_conditional___63:class NSString *=n$10 [line 31]\n REMOVE_TEMPS(n$10); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 68 -> 65 ; +67 [label="67: Prune (false branch) \n n$8=*&__assert_file__:class NSString * [line 31]\n PRUNE((n$8 == 0), false); [line 31]\n REMOVE_TEMPS(n$8); [line 31]\n " shape="invhouse"] - 67 -> 63 ; -66 [label="66: ConditinalStmt Branch \n n$9=*&__assert_file__:class NSString * [line 31]\n DECLARE_LOCALS(&SIL_temp_conditional___63); [line 31]\n *&SIL_temp_conditional___63:class NSString *=n$9 [line 31]\n REMOVE_TEMPS(n$9); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 67 -> 69 ; +66 [label="66: Prune (true branch) \n n$8=*&__assert_file__:class NSString * [line 31]\n PRUNE((n$8 != 0), true); [line 31]\n REMOVE_TEMPS(n$8); [line 31]\n " shape="invhouse"] - 66 -> 63 ; -65 [label="65: Prune (false branch) \n n$8=*&__assert_file__:class NSString * [line 31]\n PRUNE((n$8 == 0), false); [line 31]\n REMOVE_TEMPS(n$8); [line 31]\n " shape="invhouse"] + 66 -> 68 ; +65 [label="65: + \n " ] - 65 -> 67 ; -64 [label="64: Prune (true branch) \n n$8=*&__assert_file__:class NSString * [line 31]\n PRUNE((n$8 != 0), true); [line 31]\n REMOVE_TEMPS(n$8); [line 31]\n " shape="invhouse"] + 65 -> 70 ; +64 [label="64: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 64 -> 66 ; -63 [label="63: + \n " ] + 64 -> 50 ; +63 [label="63: Prune (false branch) \n n$3=*&SIL_temp_conditional___56:int [line 31]\n NULLIFY(&SIL_temp_conditional___56,true); [line 31]\n PRUNE((n$3 == 0), false); [line 31]\n REMOVE_TEMPS(n$3); [line 31]\n " shape="invhouse"] - 63 -> 68 ; -62 [label="62: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 63 -> 55 ; +62 [label="62: Prune (true branch) \n n$3=*&SIL_temp_conditional___56:int [line 31]\n NULLIFY(&SIL_temp_conditional___56,true); [line 31]\n PRUNE((n$3 != 0), true); [line 31]\n REMOVE_TEMPS(n$3); [line 31]\n NULLIFY(&target,false); [line 31]\n " shape="invhouse"] - 62 -> 48 ; -61 [label="61: Prune (false branch) \n n$3=*&SIL_temp_conditional___54:int [line 31]\n NULLIFY(&SIL_temp_conditional___54,true); [line 31]\n PRUNE((n$3 == 0), false); [line 31]\n REMOVE_TEMPS(n$3); [line 31]\n " shape="invhouse"] + 62 -> 78 ; +61 [label="61: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___56); [line 31]\n *&SIL_temp_conditional___56:int =1 [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 61 -> 53 ; -60 [label="60: Prune (true branch) \n n$3=*&SIL_temp_conditional___54:int [line 31]\n NULLIFY(&SIL_temp_conditional___54,true); [line 31]\n PRUNE((n$3 != 0), true); [line 31]\n REMOVE_TEMPS(n$3); [line 31]\n NULLIFY(&target,false); [line 31]\n " shape="invhouse"] + 61 -> 56 ; +60 [label="60: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___56); [line 31]\n *&SIL_temp_conditional___56:int =0 [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] - 60 -> 76 ; -59 [label="59: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___54); [line 31]\n *&SIL_temp_conditional___54:int =1 [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 60 -> 56 ; +59 [label="59: Prune (false branch) \n PRUNE(((n$2 != (void *)0) == 0), false); [line 31]\n REMOVE_TEMPS(n$2); [line 31]\n " shape="invhouse"] - 59 -> 54 ; -58 [label="58: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___54); [line 31]\n *&SIL_temp_conditional___54:int =0 [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="box"] + 59 -> 61 ; +58 [label="58: Prune (true branch) \n PRUNE(((n$2 != (void *)0) != 0), true); [line 31]\n REMOVE_TEMPS(n$2); [line 31]\n " shape="invhouse"] - 58 -> 54 ; -57 [label="57: Prune (false branch) \n PRUNE(((n$2 != (void *)0) == 0), false); [line 31]\n REMOVE_TEMPS(n$2); [line 31]\n " shape="invhouse"] + 58 -> 60 ; +57 [label="57: BinaryOperatorStmt: NE \n n$2=*&target:class A * [line 31]\n " shape="box"] + 57 -> 58 ; 57 -> 59 ; -56 [label="56: Prune (true branch) \n PRUNE(((n$2 != (void *)0) != 0), true); [line 31]\n REMOVE_TEMPS(n$2); [line 31]\n " shape="invhouse"] +56 [label="56: + \n " ] - 56 -> 58 ; -55 [label="55: BinaryOperatorStmt: NE \n n$2=*&target:class A * [line 31]\n " shape="box"] + 56 -> 62 ; + 56 -> 63 ; +55 [label="55: + \n " ] - 55 -> 56 ; - 55 -> 57 ; -54 [label="54: + \n " ] + 55 -> 53 ; + 55 -> 54 ; +54 [label="54: Prune (false branch) \n PRUNE((0 == 0), false); [line 31]\n " shape="invhouse"] - 54 -> 60 ; - 54 -> 61 ; -53 [label="53: + \n " ] + 54 -> 51 ; +53 [label="53: Prune (true branch) \n PRUNE((0 != 0), true); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="invhouse"] - 53 -> 51 ; 53 -> 52 ; -52 [label="52: Prune (false branch) \n PRUNE((0 == 0), false); [line 31]\n " shape="invhouse"] +52 [label="52: + \n " ] - 52 -> 49 ; -51 [label="51: Prune (true branch) \n PRUNE((0 != 0), true); [line 31]\n APPLY_ABSTRACTION; [line 31]\n " shape="invhouse"] + 52 -> 57 ; +51 [label="51: Return Stmt \n n$0=*&target:class A * [line 32]\n n$1=_fun_A_x(n$0:class A *) [line 32]\n *&return:int =n$1 [line 32]\n REMOVE_TEMPS(n$0,n$1); [line 32]\n NULLIFY(&target,false); [line 32]\n APPLY_ABSTRACTION; [line 32]\n " shape="box"] 51 -> 50 ; -50 [label="50: + \n " ] +50 [label="50: Exit test1 \n " color=yellow style=filled] - 50 -> 55 ; -49 [label="49: Return Stmt \n n$0=*&target:class A * [line 32]\n n$1=_fun_A_x(n$0:class A *) [line 32]\n *&return:int =n$1 [line 32]\n REMOVE_TEMPS(n$0,n$1); [line 32]\n NULLIFY(&target,false); [line 32]\n APPLY_ABSTRACTION; [line 32]\n " shape="box"] +49 [label="49: Start test1\nFormals: target:class A *\nLocals: __assert_file__:class NSString * __assert_fn__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__,&__assert_fn__); [line 30]\n NULLIFY(&__assert_file__,false); [line 30]\n NULLIFY(&__assert_fn__,false); [line 30]\n " color=yellow style=filled] - 49 -> 48 ; -48 [label="48: Exit test1 \n " color=yellow style=filled] + 49 -> 52 ; +48 [label="48: DeclStmt \n n$29=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 24]\n _fun___objc_retain(n$29:class NSString *) [line 24]\n *&__assert_file__:class NSString *=n$29 [line 24]\n REMOVE_TEMPS(n$29); [line 24]\n " shape="box"] -47 [label="47: Start test1\nFormals: target:class A *\nLocals: __assert_file__:class NSString * __assert_fn__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__,&__assert_fn__); [line 30]\n NULLIFY(&__assert_file__,false); [line 30]\n NULLIFY(&__assert_fn__,false); [line 30]\n " color=yellow style=filled] + 48 -> 43 ; + 48 -> 44 ; +47 [label="47: BinaryOperatorStmt: Assign \n n$27=*&SIL_temp_conditional___42:class NSString * [line 24]\n NULLIFY(&SIL_temp_conditional___42,true); [line 24]\n _fun___objc_retain(n$27:class NSString *) [line 24]\n n$28=*&__assert_file__:class NSString * [line 24]\n *&__assert_file__:class NSString *=n$27 [line 24]\n _fun___objc_release(n$28:class NSString *) [line 24]\n REMOVE_TEMPS(n$27,n$28); [line 24]\n NULLIFY(&__assert_file__,false); [line 24]\n " shape="box"] - 47 -> 50 ; -46 [label="46: DeclStmt \n n$29=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 24]\n _fun___objc_retain(n$29:class NSString *) [line 24]\n *&__assert_file__:class NSString *=n$29 [line 24]\n REMOVE_TEMPS(n$29); [line 24]\n " shape="box"] + 47 -> 41 ; +46 [label="46: ConditinalStmt Branch \n n$26=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 24]\n DECLARE_LOCALS(&SIL_temp_conditional___42); [line 24]\n *&SIL_temp_conditional___42:class NSString *=n$26 [line 24]\n REMOVE_TEMPS(n$26); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] - 46 -> 41 ; 46 -> 42 ; -45 [label="45: BinaryOperatorStmt: Assign \n n$27=*&SIL_temp_conditional___40:class NSString * [line 24]\n NULLIFY(&SIL_temp_conditional___40,true); [line 24]\n _fun___objc_retain(n$27:class NSString *) [line 24]\n n$28=*&__assert_file__:class NSString * [line 24]\n *&__assert_file__:class NSString *=n$27 [line 24]\n _fun___objc_release(n$28:class NSString *) [line 24]\n REMOVE_TEMPS(n$27,n$28); [line 24]\n NULLIFY(&__assert_file__,false); [line 24]\n " shape="box"] +45 [label="45: ConditinalStmt Branch \n n$25=*&__assert_file__:class NSString * [line 24]\n DECLARE_LOCALS(&SIL_temp_conditional___42); [line 24]\n *&SIL_temp_conditional___42:class NSString *=n$25 [line 24]\n REMOVE_TEMPS(n$25); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] - 45 -> 39 ; -44 [label="44: ConditinalStmt Branch \n n$26=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 24]\n DECLARE_LOCALS(&SIL_temp_conditional___40); [line 24]\n *&SIL_temp_conditional___40:class NSString *=n$26 [line 24]\n REMOVE_TEMPS(n$26); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] + 45 -> 42 ; +44 [label="44: Prune (false branch) \n n$24=*&__assert_file__:class NSString * [line 24]\n PRUNE((n$24 == 0), false); [line 24]\n REMOVE_TEMPS(n$24); [line 24]\n " shape="invhouse"] - 44 -> 40 ; -43 [label="43: ConditinalStmt Branch \n n$25=*&__assert_file__:class NSString * [line 24]\n DECLARE_LOCALS(&SIL_temp_conditional___40); [line 24]\n *&SIL_temp_conditional___40:class NSString *=n$25 [line 24]\n REMOVE_TEMPS(n$25); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] + 44 -> 46 ; +43 [label="43: Prune (true branch) \n n$24=*&__assert_file__:class NSString * [line 24]\n PRUNE((n$24 != 0), true); [line 24]\n REMOVE_TEMPS(n$24); [line 24]\n " shape="invhouse"] - 43 -> 40 ; -42 [label="42: Prune (false branch) \n n$24=*&__assert_file__:class NSString * [line 24]\n PRUNE((n$24 == 0), false); [line 24]\n REMOVE_TEMPS(n$24); [line 24]\n " shape="invhouse"] + 43 -> 45 ; +42 [label="42: + \n " ] - 42 -> 44 ; -41 [label="41: Prune (true branch) \n n$24=*&__assert_file__:class NSString * [line 24]\n PRUNE((n$24 != 0), true); [line 24]\n REMOVE_TEMPS(n$24); [line 24]\n " shape="invhouse"] + 42 -> 47 ; +41 [label="41: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] - 41 -> 43 ; -40 [label="40: + \n " ] + 41 -> 27 ; +40 [label="40: Prune (false branch) \n n$18=*&SIL_temp_conditional___33:int [line 24]\n NULLIFY(&SIL_temp_conditional___33,true); [line 24]\n PRUNE((n$18 == 0), false); [line 24]\n REMOVE_TEMPS(n$18); [line 24]\n " shape="invhouse"] - 40 -> 45 ; -39 [label="39: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] + 40 -> 32 ; +39 [label="39: Prune (true branch) \n n$18=*&SIL_temp_conditional___33:int [line 24]\n NULLIFY(&SIL_temp_conditional___33,true); [line 24]\n PRUNE((n$18 != 0), true); [line 24]\n REMOVE_TEMPS(n$18); [line 24]\n NULLIFY(&a,false); [line 24]\n " shape="invhouse"] - 39 -> 25 ; -38 [label="38: Prune (false branch) \n n$18=*&SIL_temp_conditional___31:int [line 24]\n NULLIFY(&SIL_temp_conditional___31,true); [line 24]\n PRUNE((n$18 == 0), false); [line 24]\n REMOVE_TEMPS(n$18); [line 24]\n " shape="invhouse"] + 39 -> 48 ; +38 [label="38: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___33); [line 24]\n *&SIL_temp_conditional___33:int =1 [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] - 38 -> 30 ; -37 [label="37: Prune (true branch) \n n$18=*&SIL_temp_conditional___31:int [line 24]\n NULLIFY(&SIL_temp_conditional___31,true); [line 24]\n PRUNE((n$18 != 0), true); [line 24]\n REMOVE_TEMPS(n$18); [line 24]\n NULLIFY(&a,false); [line 24]\n " shape="invhouse"] + 38 -> 33 ; +37 [label="37: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___33); [line 24]\n *&SIL_temp_conditional___33:int =0 [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] - 37 -> 46 ; -36 [label="36: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___31); [line 24]\n *&SIL_temp_conditional___31:int =1 [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] + 37 -> 33 ; +36 [label="36: Prune (false branch) \n PRUNE(((n$17 != (void *)0) == 0), false); [line 24]\n REMOVE_TEMPS(n$17); [line 24]\n " shape="invhouse"] - 36 -> 31 ; -35 [label="35: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___31); [line 24]\n *&SIL_temp_conditional___31:int =0 [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="box"] + 36 -> 38 ; +35 [label="35: Prune (true branch) \n PRUNE(((n$17 != (void *)0) != 0), true); [line 24]\n REMOVE_TEMPS(n$17); [line 24]\n " shape="invhouse"] - 35 -> 31 ; -34 [label="34: Prune (false branch) \n PRUNE(((n$17 != (void *)0) == 0), false); [line 24]\n REMOVE_TEMPS(n$17); [line 24]\n " shape="invhouse"] + 35 -> 37 ; +34 [label="34: BinaryOperatorStmt: NE \n n$17=*&a:class A * [line 24]\n " shape="box"] + 34 -> 35 ; 34 -> 36 ; -33 [label="33: Prune (true branch) \n PRUNE(((n$17 != (void *)0) != 0), true); [line 24]\n REMOVE_TEMPS(n$17); [line 24]\n " shape="invhouse"] +33 [label="33: + \n " ] - 33 -> 35 ; -32 [label="32: BinaryOperatorStmt: NE \n n$17=*&a:class A * [line 24]\n " shape="box"] + 33 -> 39 ; + 33 -> 40 ; +32 [label="32: + \n " ] - 32 -> 33 ; - 32 -> 34 ; -31 [label="31: + \n " ] + 32 -> 30 ; + 32 -> 31 ; +31 [label="31: Prune (false branch) \n PRUNE((0 == 0), false); [line 24]\n " shape="invhouse"] - 31 -> 37 ; - 31 -> 38 ; -30 [label="30: + \n " ] + 31 -> 28 ; +30 [label="30: Prune (true branch) \n PRUNE((0 != 0), true); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="invhouse"] - 30 -> 28 ; 30 -> 29 ; -29 [label="29: Prune (false branch) \n PRUNE((0 == 0), false); [line 24]\n " shape="invhouse"] +29 [label="29: + \n " ] - 29 -> 26 ; -28 [label="28: Prune (true branch) \n PRUNE((0 != 0), true); [line 24]\n APPLY_ABSTRACTION; [line 24]\n " shape="invhouse"] + 29 -> 34 ; +28 [label="28: Return Stmt \n n$15=*&a:class A * [line 25]\n n$16=_fun_A_x(n$15:class A *) [line 25]\n *&return:int =n$16 [line 25]\n REMOVE_TEMPS(n$15,n$16); [line 25]\n NULLIFY(&a,false); [line 25]\n APPLY_ABSTRACTION; [line 25]\n " shape="box"] 28 -> 27 ; -27 [label="27: + \n " ] +27 [label="27: Exit A_initWithRequest: \n " color=yellow style=filled] - 27 -> 32 ; -26 [label="26: Return Stmt \n n$15=*&a:class A * [line 25]\n n$16=_fun_A_x(n$15:class A *) [line 25]\n *&return:int =n$16 [line 25]\n REMOVE_TEMPS(n$15,n$16); [line 25]\n NULLIFY(&a,false); [line 25]\n APPLY_ABSTRACTION; [line 25]\n " shape="box"] +26 [label="26: Start A_initWithRequest:\nFormals: self:class A * a:class A *\nLocals: __assert_file__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__); [line 23]\n NULLIFY(&__assert_file__,false); [line 23]\n NULLIFY(&self,false); [line 23]\n " color=yellow style=filled] - 26 -> 25 ; -25 [label="25: Exit A_initWithRequest: \n " color=yellow style=filled] + 26 -> 29 ; +25 [label="25: DeclStmt \n n$14=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 19]\n _fun___objc_retain(n$14:class NSString *) [line 19]\n *&__assert_file__:class NSString *=n$14 [line 19]\n REMOVE_TEMPS(n$14); [line 19]\n " shape="box"] -24 [label="24: Start A_initWithRequest:\nFormals: self:class A * a:class A *\nLocals: __assert_file__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__); [line 23]\n NULLIFY(&__assert_file__,false); [line 23]\n NULLIFY(&self,false); [line 23]\n " color=yellow style=filled] + 25 -> 20 ; + 25 -> 21 ; +24 [label="24: BinaryOperatorStmt: Assign \n n$12=*&SIL_temp_conditional___19:class NSString * [line 19]\n NULLIFY(&SIL_temp_conditional___19,true); [line 19]\n _fun___objc_retain(n$12:class NSString *) [line 19]\n n$13=*&__assert_file__:class NSString * [line 19]\n *&__assert_file__:class NSString *=n$12 [line 19]\n _fun___objc_release(n$13:class NSString *) [line 19]\n REMOVE_TEMPS(n$12,n$13); [line 19]\n NULLIFY(&__assert_file__,false); [line 19]\n " shape="box"] - 24 -> 27 ; -23 [label="23: DeclStmt \n n$14=_fun_NSString_stringWithUTF8String:(\"infer/tests/codetoanalyze/objc/frontend/assertions/NSAssert_example.m\":char *) [line 19]\n _fun___objc_retain(n$14:class NSString *) [line 19]\n *&__assert_file__:class NSString *=n$14 [line 19]\n REMOVE_TEMPS(n$14); [line 19]\n " shape="box"] + 24 -> 18 ; +23 [label="23: ConditinalStmt Branch \n n$11=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 19]\n DECLARE_LOCALS(&SIL_temp_conditional___19); [line 19]\n *&SIL_temp_conditional___19:class NSString *=n$11 [line 19]\n REMOVE_TEMPS(n$11); [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] - 23 -> 18 ; 23 -> 19 ; -22 [label="22: BinaryOperatorStmt: Assign \n n$12=*&SIL_temp_conditional___17:class NSString * [line 19]\n NULLIFY(&SIL_temp_conditional___17,true); [line 19]\n _fun___objc_retain(n$12:class NSString *) [line 19]\n n$13=*&__assert_file__:class NSString * [line 19]\n *&__assert_file__:class NSString *=n$12 [line 19]\n _fun___objc_release(n$13:class NSString *) [line 19]\n REMOVE_TEMPS(n$12,n$13); [line 19]\n NULLIFY(&__assert_file__,false); [line 19]\n " shape="box"] +22 [label="22: ConditinalStmt Branch \n n$10=*&__assert_file__:class NSString * [line 19]\n DECLARE_LOCALS(&SIL_temp_conditional___19); [line 19]\n *&SIL_temp_conditional___19:class NSString *=n$10 [line 19]\n REMOVE_TEMPS(n$10); [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] - 22 -> 16 ; -21 [label="21: ConditinalStmt Branch \n n$11=_fun_NSString_stringWithUTF8String:(\"\":char *) [line 19]\n DECLARE_LOCALS(&SIL_temp_conditional___17); [line 19]\n *&SIL_temp_conditional___17:class NSString *=n$11 [line 19]\n REMOVE_TEMPS(n$11); [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] + 22 -> 19 ; +21 [label="21: Prune (false branch) \n n$9=*&__assert_file__:class NSString * [line 19]\n PRUNE((n$9 == 0), false); [line 19]\n REMOVE_TEMPS(n$9); [line 19]\n " shape="invhouse"] - 21 -> 17 ; -20 [label="20: ConditinalStmt Branch \n n$10=*&__assert_file__:class NSString * [line 19]\n DECLARE_LOCALS(&SIL_temp_conditional___17); [line 19]\n *&SIL_temp_conditional___17:class NSString *=n$10 [line 19]\n REMOVE_TEMPS(n$10); [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] + 21 -> 23 ; +20 [label="20: Prune (true branch) \n n$9=*&__assert_file__:class NSString * [line 19]\n PRUNE((n$9 != 0), true); [line 19]\n REMOVE_TEMPS(n$9); [line 19]\n " shape="invhouse"] - 20 -> 17 ; -19 [label="19: Prune (false branch) \n n$9=*&__assert_file__:class NSString * [line 19]\n PRUNE((n$9 == 0), false); [line 19]\n REMOVE_TEMPS(n$9); [line 19]\n " shape="invhouse"] + 20 -> 22 ; +19 [label="19: + \n " ] - 19 -> 21 ; -18 [label="18: Prune (true branch) \n n$9=*&__assert_file__:class NSString * [line 19]\n PRUNE((n$9 != 0), true); [line 19]\n REMOVE_TEMPS(n$9); [line 19]\n " shape="invhouse"] + 19 -> 24 ; +18 [label="18: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] - 18 -> 20 ; -17 [label="17: + \n " ] + 18 -> 4 ; +17 [label="17: Prune (false branch) \n n$3=*&SIL_temp_conditional___10:int [line 19]\n NULLIFY(&SIL_temp_conditional___10,true); [line 19]\n PRUNE((n$3 == 0), false); [line 19]\n REMOVE_TEMPS(n$3); [line 19]\n " shape="invhouse"] - 17 -> 22 ; -16 [label="16: Assertion failure \n _fun___infer_fail(\"ASSERTION_FAILURE\":void ) [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] + 17 -> 9 ; +16 [label="16: Prune (true branch) \n n$3=*&SIL_temp_conditional___10:int [line 19]\n NULLIFY(&SIL_temp_conditional___10,true); [line 19]\n PRUNE((n$3 != 0), true); [line 19]\n REMOVE_TEMPS(n$3); [line 19]\n NULLIFY(&target,false); [line 19]\n " shape="invhouse"] - 16 -> 2 ; -15 [label="15: Prune (false branch) \n n$3=*&SIL_temp_conditional___8:int [line 19]\n NULLIFY(&SIL_temp_conditional___8,true); [line 19]\n PRUNE((n$3 == 0), false); [line 19]\n REMOVE_TEMPS(n$3); [line 19]\n " shape="invhouse"] + 16 -> 25 ; +15 [label="15: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___10); [line 19]\n *&SIL_temp_conditional___10:int =1 [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] - 15 -> 7 ; -14 [label="14: Prune (true branch) \n n$3=*&SIL_temp_conditional___8:int [line 19]\n NULLIFY(&SIL_temp_conditional___8,true); [line 19]\n PRUNE((n$3 != 0), true); [line 19]\n REMOVE_TEMPS(n$3); [line 19]\n NULLIFY(&target,false); [line 19]\n " shape="invhouse"] + 15 -> 10 ; +14 [label="14: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___10); [line 19]\n *&SIL_temp_conditional___10:int =0 [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] - 14 -> 23 ; -13 [label="13: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___8); [line 19]\n *&SIL_temp_conditional___8:int =1 [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] + 14 -> 10 ; +13 [label="13: Prune (false branch) \n PRUNE(((n$2 != (void *)0) == 0), false); [line 19]\n REMOVE_TEMPS(n$2); [line 19]\n " shape="invhouse"] - 13 -> 8 ; -12 [label="12: ConditinalStmt Branch \n DECLARE_LOCALS(&SIL_temp_conditional___8); [line 19]\n *&SIL_temp_conditional___8:int =0 [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="box"] + 13 -> 15 ; +12 [label="12: Prune (true branch) \n PRUNE(((n$2 != (void *)0) != 0), true); [line 19]\n REMOVE_TEMPS(n$2); [line 19]\n " shape="invhouse"] - 12 -> 8 ; -11 [label="11: Prune (false branch) \n PRUNE(((n$2 != (void *)0) == 0), false); [line 19]\n REMOVE_TEMPS(n$2); [line 19]\n " shape="invhouse"] + 12 -> 14 ; +11 [label="11: BinaryOperatorStmt: NE \n n$2=*&target:class A * [line 19]\n " shape="box"] + 11 -> 12 ; 11 -> 13 ; -10 [label="10: Prune (true branch) \n PRUNE(((n$2 != (void *)0) != 0), true); [line 19]\n REMOVE_TEMPS(n$2); [line 19]\n " shape="invhouse"] +10 [label="10: + \n " ] - 10 -> 12 ; -9 [label="9: BinaryOperatorStmt: NE \n n$2=*&target:class A * [line 19]\n " shape="box"] + 10 -> 16 ; + 10 -> 17 ; +9 [label="9: + \n " ] - 9 -> 10 ; - 9 -> 11 ; -8 [label="8: + \n " ] + 9 -> 7 ; + 9 -> 8 ; +8 [label="8: Prune (false branch) \n PRUNE((0 == 0), false); [line 19]\n " shape="invhouse"] - 8 -> 14 ; - 8 -> 15 ; -7 [label="7: + \n " ] + 8 -> 5 ; +7 [label="7: Prune (true branch) \n PRUNE((0 != 0), true); [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="invhouse"] - 7 -> 5 ; 7 -> 6 ; -6 [label="6: Prune (false branch) \n PRUNE((0 == 0), false); [line 19]\n " shape="invhouse"] +6 [label="6: + \n " ] - 6 -> 3 ; -5 [label="5: Prune (true branch) \n PRUNE((0 != 0), true); [line 19]\n APPLY_ABSTRACTION; [line 19]\n " shape="invhouse"] + 6 -> 11 ; +5 [label="5: Return Stmt \n n$0=*&target:class A * [line 20]\n n$1=_fun_A_x(n$0:class A *) [line 20]\n *&return:int =n$1 [line 20]\n REMOVE_TEMPS(n$0,n$1); [line 20]\n NULLIFY(&target,false); [line 20]\n APPLY_ABSTRACTION; [line 20]\n " shape="box"] 5 -> 4 ; -4 [label="4: + \n " ] +4 [label="4: Exit A_addTarget: \n " color=yellow style=filled] - 4 -> 9 ; -3 [label="3: Return Stmt \n n$0=*&target:class A * [line 20]\n n$1=_fun_A_x(n$0:class A *) [line 20]\n *&return:int =n$1 [line 20]\n REMOVE_TEMPS(n$0,n$1); [line 20]\n NULLIFY(&target,false); [line 20]\n APPLY_ABSTRACTION; [line 20]\n " shape="box"] +3 [label="3: Start A_addTarget:\nFormals: self:class A * target:class A *\nLocals: __assert_file__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__); [line 18]\n NULLIFY(&__assert_file__,false); [line 18]\n NULLIFY(&self,false); [line 18]\n " color=yellow style=filled] - 3 -> 2 ; -2 [label="2: Exit A_addTarget: \n " color=yellow style=filled] + 3 -> 6 ; +2 [label="2: Exit A_frontendChecks \n " color=yellow style=filled] -1 [label="1: Start A_addTarget:\nFormals: self:class A * target:class A *\nLocals: __assert_file__:class NSString * \n DECLARE_LOCALS(&return,&__assert_file__); [line 18]\n NULLIFY(&__assert_file__,false); [line 18]\n NULLIFY(&self,false); [line 18]\n " color=yellow style=filled] +1 [label="1: Start A_frontendChecks\nFormals: \nLocals: \n " color=yellow style=filled] - 1 -> 4 ; + 1 -> 2 ; } diff --git a/infer/tests/codetoanalyze/objc/frontend/block/block.dot b/infer/tests/codetoanalyze/objc/frontend/block/block.dot index f2c817f0c..5c077403b 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/block.dot +++ b/infer/tests/codetoanalyze/objc/frontend/block/block.dot @@ -26,7 +26,7 @@ digraph iCFG { 19 -> 18 ; -18 [label="18: BinaryOperatorStmt: Assign \n DECLARE_LOCALS(&__objc_anonymous_block___objc_anonymous_block_main1______2______3); [line 24]\n n$23=_fun___objc_alloc_no_fail(sizeof(class __objc_anonymous_block___objc_anonymous_block_main1______2______3 ):unsigned long ) [line 24]\n *&__objc_anonymous_block___objc_anonymous_block_main1______2______3:class __objc_anonymous_block___objc_anonymous_block_main1______2______3 =n$23 [line 24]\n n$24=*&x:int [line 24]\n n$25=*&bla:int [line 24]\n n$26=*&#GB$main1_s:int [line 24]\n *n$23.bla:int =n$24 [line 24]\n *n$23.main1_s:int =n$25 [line 24]\n *n$23.x:int =n$26 [line 24]\n n$17=*&x:int [line 24]\n n$18=*&bla:int [line 24]\n *&addblock2:_fn_ (*)=(_fun___objc_anonymous_block___objc_anonymous_block_main1______2______3,n$17,n$18) [line 24]\n REMOVE_TEMPS(n$23,n$24,n$25,n$26,n$17,n$18); [line 24]\n " shape="box"] +18 [label="18: BinaryOperatorStmt: Assign \n DECLARE_LOCALS(&__objc_anonymous_block___objc_anonymous_block_main1______2______3); [line 24]\n n$23=_fun___objc_alloc_no_fail(sizeof(class __objc_anonymous_block___objc_anonymous_block_main1______2______3 ):unsigned long ) [line 24]\n *&__objc_anonymous_block___objc_anonymous_block_main1______2______3:class __objc_anonymous_block___objc_anonymous_block_main1______2______3 =n$23 [line 24]\n n$24=*&x:int [line 24]\n n$25=*&bla:int [line 24]\n n$26=*&#GB$main1_s:int [line 24]\n *n$23.x:int =n$24 [line 24]\n *n$23.bla:int =n$25 [line 24]\n *n$23.main1_s:int =n$26 [line 24]\n n$17=*&x:int [line 24]\n n$18=*&bla:int [line 24]\n *&addblock2:_fn_ (*)=(_fun___objc_anonymous_block___objc_anonymous_block_main1______2______3,n$17,n$18) [line 24]\n REMOVE_TEMPS(n$23,n$24,n$25,n$26,n$17,n$18); [line 24]\n " shape="box"] 18 -> 14 ; diff --git a/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.dot b/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.dot index 80ef3a163..cf450798c 100644 --- a/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.dot +++ b/infer/tests/codetoanalyze/objc/frontend/block/block_no_args.dot @@ -7,7 +7,7 @@ digraph iCFG { 15 -> 14 ; -14 [label="14: BinaryOperatorStmt: Assign \n DECLARE_LOCALS(&__objc_anonymous_block_My_manager_m______1); [line 25]\n n$7=_fun___objc_alloc_no_fail(sizeof(class __objc_anonymous_block_My_manager_m______1 ):unsigned long ) [line 25]\n *&__objc_anonymous_block_My_manager_m______1:class __objc_anonymous_block_My_manager_m______1 =n$7 [line 25]\n n$8=*&z:int [line 25]\n n$9=*&#GB$g:int [line 25]\n *n$7.g:int =n$8 [line 25]\n *n$7.z:int =n$9 [line 25]\n n$5=*&z:int [line 25]\n *&b:_fn_ (*)=(_fun___objc_anonymous_block_My_manager_m______1,n$5) [line 25]\n REMOVE_TEMPS(n$7,n$8,n$9,n$5); [line 25]\n " shape="box"] +14 [label="14: BinaryOperatorStmt: Assign \n DECLARE_LOCALS(&__objc_anonymous_block_My_manager_m______1); [line 25]\n n$7=_fun___objc_alloc_no_fail(sizeof(class __objc_anonymous_block_My_manager_m______1 ):unsigned long ) [line 25]\n *&__objc_anonymous_block_My_manager_m______1:class __objc_anonymous_block_My_manager_m______1 =n$7 [line 25]\n n$8=*&z:int [line 25]\n n$9=*&#GB$g:int [line 25]\n *n$7.z:int =n$8 [line 25]\n *n$7.g:int =n$9 [line 25]\n n$5=*&z:int [line 25]\n *&b:_fn_ (*)=(_fun___objc_anonymous_block_My_manager_m______1,n$5) [line 25]\n REMOVE_TEMPS(n$7,n$8,n$9,n$5); [line 25]\n " shape="box"] 14 -> 10 ; diff --git a/infer/tests/endtoend/objc/InitListExprTest.java b/infer/tests/endtoend/objc/InitListExprTest.java index c43f9232f..facad034c 100644 --- a/infer/tests/endtoend/objc/InitListExprTest.java +++ b/infer/tests/endtoend/objc/InitListExprTest.java @@ -49,7 +49,7 @@ public class InitListExprTest { public void nullDereferenceTest() throws InterruptedException, IOException, InferException { InferResults inferResults = InferRunner.runInferC(inferCmd); String[] procedures = { - "point_coords_set_correctly", + "point_coords_set_correctly", "field_set_correctly", }; assertThat( "Results should contain divide by zero",