diff --git a/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot b/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot index 55cb546be..87316c10f 100644 --- a/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot +++ b/infer/tests/codetoanalyze/objc/frontend/boxing/dict_literal.c.dot @@ -18,7 +18,7 @@ digraph cfg { "get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_2" [label="2: Exit get_array2 \n " color=yellow style=filled] -"get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_3" [label="3: Return Stmt \n n$5=_fun_NSString_stringWithUTF8String:(\"Matt\":char* const ) [line 23, column 28]\n n$0=_fun_NSString_stringWithUTF8String:(\"firstName\":char* const ) [line 23, column 13]\n n$1=_fun_NSString_stringWithUTF8String:(\"Galloway\":char* const ) [line 23, column 51]\n n$2=_fun_NSString_stringWithUTF8String:(\"lastName\":char* const ) [line 23, column 37]\n n$3=_fun_NSNumber_numberWithInt:(28:int) [line 23, column 73]\n n$4=_fun_NSString_stringWithUTF8String:(\"age\":char* const ) [line 23, column 64]\n n$6=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$5:objc_object*,n$0:objc_object*,n$1:objc_object*,n$2:objc_object*,n$3:objc_object*,n$4:objc_object*,null:objc_object*) [line 23, column 10]\n *&return:NSDictionary*=n$6 [line 23, column 3]\n " shape="box"] +"get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_3" [label="3: Return Stmt \n n$5=_fun_NSString_stringWithUTF8String:(\"Matt\":char* const ) [line 23, column 27]\n n$0=_fun_NSString_stringWithUTF8String:(\"firstName\":char* const ) [line 23, column 12]\n n$1=_fun_NSString_stringWithUTF8String:(\"Galloway\":char* const ) [line 23, column 50]\n n$2=_fun_NSString_stringWithUTF8String:(\"lastName\":char* const ) [line 23, column 36]\n n$3=_fun_NSNumber_numberWithInt:(28:int) [line 23, column 72]\n n$4=_fun_NSString_stringWithUTF8String:(\"age\":char* const ) [line 23, column 63]\n n$6=_fun_NSDictionary_dictionaryWithObjects:forKeys:count:(n$5:objc_object*,n$0:objc_object*,n$1:objc_object*,n$2:objc_object*,n$3:objc_object*,n$4:objc_object*,null:objc_object*) [line 23, column 10]\n *&return:NSDictionary*=n$6 [line 23, column 3]\n " shape="box"] "get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_3" -> "get_array2.84aa3c70cb20e7edbe4f0b8d0bd6aa3d_2" ; diff --git a/infer/tests/codetoanalyze/objc/ioslints/issues.exp b/infer/tests/codetoanalyze/objc/ioslints/issues.exp index 00e8f1f30..2f4252a0d 100644 --- a/infer/tests/codetoanalyze/objc/ioslints/issues.exp +++ b/infer/tests/codetoanalyze/objc/ioslints/issues.exp @@ -1,5 +1,5 @@ -codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_m2, 137, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] -codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_m3, 145, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] +codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_m2, 136, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] +codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_m3, 144, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_uifont_without_respondstoselector, 119, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_with_responds_to_selector_in_else, 72, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] codetoanalyze/objc/ioslints/unavailable_api_allowed_cases.m, Unavailable_api_allowed_cases_without_instances_responds_to_selector, 96, UNAVAILABLE_API_IN_SUPPORTED_IOS_SDK, no_bucket, ERROR, [] diff --git a/infer/tests/codetoanalyze/objc/linters/issues.exp b/infer/tests/codetoanalyze/objc/linters/issues.exp index 0bc5ddb29..b2489f80f 100644 --- a/infer/tests/codetoanalyze/objc/linters/issues.exp +++ b/infer/tests/codetoanalyze/objc/linters/issues.exp @@ -10,15 +10,15 @@ codetoanalyze/objc/linters/assign_pointer.m, Linters_dummy_method, 16, ASSIGN_PO codetoanalyze/objc/linters/assign_pointer.m, Linters_dummy_method, 18, ASSIGN_POINTER_WARNING, no_bucket, WARNING, [] codetoanalyze/objc/linters/assign_pointer.m, Linters_dummy_method, 20, ASSIGN_POINTER_WARNING, no_bucket, WARNING, [] codetoanalyze/objc/linters/assign_pointer.m, Linters_dummy_method, 36, ASSIGN_POINTER_WARNING, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, A_bla, 96, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] codetoanalyze/objc/linters/atomic_prop.m, A_bla, 97, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, A_readP, 75, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, A_readP, 75, POINTER_TO_INTEGRAL_IMPLICIT_CAST, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, A_bla, 98, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, A_readP, 76, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] codetoanalyze/objc/linters/atomic_prop.m, A_readP, 76, POINTER_TO_INTEGRAL_IMPLICIT_CAST, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, A_readQ, 84, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, A_readQ, 84, POINTER_TO_INTEGRAL_IMPLICIT_CAST, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, A_writeQ, 80, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] -codetoanalyze/objc/linters/atomic_prop.m, objc_block_1, 112, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, A_readP, 77, POINTER_TO_INTEGRAL_IMPLICIT_CAST, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, A_readQ, 85, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, A_readQ, 85, POINTER_TO_INTEGRAL_IMPLICIT_CAST, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, A_writeQ, 81, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] +codetoanalyze/objc/linters/atomic_prop.m, objc_block_1, 113, DIRECT_ATOMIC_PROPERTY_ACCESS, no_bucket, WARNING, [] codetoanalyze/objc/linters/badpointer.m, bad1, 15, BAD_POINTER_COMPARISON, no_bucket, WARNING, [] codetoanalyze/objc/linters/badpointer.m, bad10, 130, BAD_POINTER_COMPARISON, no_bucket, WARNING, [] codetoanalyze/objc/linters/badpointer.m, bad11, 139, BAD_POINTER_COMPARISON, no_bucket, WARNING, []