clang_version diagnostics path kindevent location line5 col3 file0 ranges line5 col3 file0 line5 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line5 col3 file0 line5 col5 file0 end line6 col3 file0 line6 col3 file0 kindcontrol edges start line6 col3 file0 line6 col3 file0 end line6 col6 file0 line6 col6 file0 kindevent location line6 col6 file0 ranges line6 col4 file0 line6 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextdc9c2a657ca759f9744cde2e093cfd59 issue_context_kindfunction issue_contexttest_null_init issue_hash_function_offset2 location line6 col6 file0 ExecutedLines 0 4 5 6 path kindcontrol edges start line10 col3 file0 line10 col5 file0 end line11 col3 file0 line11 col3 file0 kindevent location line11 col3 file0 ranges line11 col3 file0 line11 col7 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line11 col3 file0 line11 col3 file0 end line12 col3 file0 line12 col3 file0 kindcontrol edges start line12 col3 file0 line12 col3 file0 end line12 col6 file0 line12 col6 file0 kindevent location line12 col6 file0 ranges line12 col4 file0 line12 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context8f95d9681490a4e52c167969d0957b39 issue_context_kindfunction issue_contexttest_null_assign issue_hash_function_offset3 location line12 col6 file0 ExecutedLines 0 9 10 11 12 path kindcontrol edges start line16 col3 file0 line16 col5 file0 end line17 col3 file0 line17 col3 file0 kindevent location line17 col3 file0 ranges line17 col3 file0 line17 col7 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line17 col3 file0 line17 col3 file0 end line18 col3 file0 line18 col5 file0 kindevent location line18 col3 file0 ranges line18 col3 file0 line18 col8 file0 depth0 extended_message 'q' initialized to a null pointer value message 'q' initialized to a null pointer value kindcontrol edges start line18 col3 file0 line18 col5 file0 end line19 col3 file0 line19 col3 file0 kindcontrol edges start line19 col3 file0 line19 col3 file0 end line19 col6 file0 line19 col6 file0 kindevent location line19 col6 file0 ranges line19 col4 file0 line19 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'q') message Dereference of null pointer (loaded from variable 'q') descriptionDereference of null pointer (loaded from variable 'q') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context94c43fbcad6aaff4ee7433f2d2db0bbe issue_context_kindfunction issue_contexttest_null_assign_transitive issue_hash_function_offset4 location line19 col6 file0 ExecutedLines 0 15 16 17 18 19 path kindcontrol edges start line23 col3 file0 line23 col4 file0 end line23 col7 file0 line23 col7 file0 kindevent location line23 col7 file0 ranges line23 col7 file0 line23 col8 file0 depth0 extended_message Assuming 'p' is null message Assuming 'p' is null kindcontrol edges start line23 col7 file0 line23 col7 file0 end line24 col5 file0 line24 col5 file0 kindcontrol edges start line24 col5 file0 line24 col5 file0 end line24 col8 file0 line24 col8 file0 kindevent location line24 col8 file0 ranges line24 col6 file0 line24 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context659f01507ffd7efd3ca3eab7179fd7d2 issue_context_kindfunction issue_contexttest_null_cond issue_hash_function_offset2 location line24 col8 file0 ExecutedLines 0 22 23 24 path kindcontrol edges start line29 col3 file0 line29 col4 file0 end line29 col7 file0 line29 col7 file0 kindevent location line29 col7 file0 ranges line29 col7 file0 line29 col8 file0 depth0 extended_message Assuming 'q' is null message Assuming 'q' is null kindcontrol edges start line29 col7 file0 line29 col7 file0 end line30 col5 file0 line30 col7 file0 kindevent location line30 col5 file0 ranges line30 col5 file0 line30 col10 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line30 col5 file0 line30 col7 file0 end line31 col5 file0 line31 col5 file0 kindcontrol edges start line31 col5 file0 line31 col5 file0 end line31 col8 file0 line31 col8 file0 kindevent location line31 col8 file0 ranges line31 col6 file0 line31 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextc90d51e62139e614b57aff7021240a82 issue_context_kindfunction issue_contexttest_null_cond_transitive issue_hash_function_offset3 location line31 col8 file0 ExecutedLines 0 28 29 30 31 path kindcontrol edges start line36 col24 file0 line36 col24 file0 end line37 col3 file0 line37 col3 file0 kindevent location line37 col3 file0 ranges line37 col3 file0 line37 col9 file0 depth0 extended_message Null pointer value stored to 'x.p' message Null pointer value stored to 'x.p' kindcontrol edges start line37 col3 file0 line37 col3 file0 end line38 col3 file0 line38 col3 file0 kindcontrol edges start line38 col3 file0 line38 col3 file0 end line38 col10 file0 line38 col10 file0 kindevent location line38 col10 file0 ranges line38 col7 file0 line38 col7 file0 depth0 extended_message Dereference of null pointer (loaded from field 'p') message Dereference of null pointer (loaded from field 'p') descriptionDereference of null pointer (loaded from field 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context245408d2bc416e324064d990e6dd82a8 issue_context_kindfunction issue_contexttest_null_field issue_hash_function_offset3 location line38 col10 file0 ExecutedLines 0 35 36 37 38 path kindcontrol edges start line43 col3 file0 line43 col4 file0 end line43 col7 file0 line43 col7 file0 kindevent location line43 col7 file0 ranges line43 col7 file0 line43 col12 file0 depth0 extended_message Assuming 'a' is not equal to 0 message Assuming 'a' is not equal to 0 kindcontrol edges start line43 col7 file0 line43 col7 file0 end line46 col3 file0 line46 col4 file0 kindcontrol edges start line46 col3 file0 line46 col4 file0 end line46 col7 file0 line46 col7 file0 kindevent location line46 col7 file0 ranges line46 col7 file0 line46 col12 file0 depth0 extended_message Assuming 'b' is equal to 0 message Assuming 'b' is equal to 0 kindcontrol edges start line46 col7 file0 line46 col7 file0 end line49 col3 file0 line49 col5 file0 kindevent location line49 col3 file0 ranges line49 col3 file0 line49 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line49 col3 file0 line49 col5 file0 end line50 col3 file0 line50 col3 file0 kindcontrol edges start line50 col3 file0 line50 col3 file0 end line50 col6 file0 line50 col6 file0 kindevent location line50 col6 file0 ranges line50 col4 file0 line50 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextb12acffa40177b55b695aa2292533410 issue_context_kindfunction issue_contexttest_assumptions issue_hash_function_offset8 location line50 col6 file0 ExecutedLines 0 41 42 43 46 49 50 path kindcontrol edges start line55 col3 file0 line55 col5 file0 end line56 col3 file0 line56 col4 file0 kindcontrol edges start line56 col3 file0 line56 col4 file0 end line56 col7 file0 line56 col7 file0 kindevent location line56 col7 file0 ranges line56 col7 file0 line56 col27 file0 depth0 extended_message Value assigned to 'p' message Value assigned to 'p' kindevent location line56 col7 file0 ranges line56 col7 file0 line56 col7 file0 depth0 extended_message Assuming 'p' is null message Assuming 'p' is null kindevent location line56 col7 file0 ranges line56 col7 file0 line56 col27 file0 depth0 extended_message Assuming pointer value is null message Assuming pointer value is null kindcontrol edges start line56 col7 file0 line56 col7 file0 end line58 col3 file0 line58 col8 file0 kindcontrol edges start line58 col3 file0 line58 col8 file0 end line58 col10 file0 line58 col10 file0 kindevent location line58 col10 file0 ranges line58 col11 file0 line58 col11 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextc0a32b8291b0fc7230f847f05f415625 issue_context_kindfunction issue_contexttest_cond_assign issue_hash_function_offset4 location line58 col10 file0 ExecutedLines 0 54 55 56 58 path kindcontrol edges start line75 col3 file0 line75 col4 file0 end line75 col7 file0 line75 col7 file0 kindevent location line75 col7 file0 ranges line75 col7 file0 line75 col14 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line75 col7 file0 line75 col7 file0 end line76 col5 file0 line76 col7 file0 kindevent location line76 col5 file0 ranges line76 col5 file0 line76 col10 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line76 col5 file0 line76 col7 file0 end line77 col5 file0 line77 col5 file0 kindcontrol edges start line77 col5 file0 line77 col5 file0 end line77 col8 file0 line77 col8 file0 kindevent location line77 col8 file0 ranges line77 col6 file0 line77 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextea1d5db6b4c380a432c88139fdd18f42 issue_context_kindObjective-C method issue_contexttest issue_hash_function_offset3 location line77 col8 file0 ExecutedLines 0 74 75 76 77 path kindevent location line86 col8 file0 ranges line86 col8 file0 line86 col10 file0 line86 col14 file0 line86 col40 file0 depth0 extended_message Value stored to 'foo' during its initialization is never read message Value stored to 'foo' during its initialization is never read descriptionValue stored to 'foo' during its initialization is never read categoryDead store typeDead initialization check_namedeadcode.DeadStores issue_hash_content_of_line_in_context3dd1ebf91fa4e92eeec82faaeb48beda issue_context_kindObjective-C method issue_contexttest2 issue_hash_function_offset2 location line86 col8 file0 ExecutedLines 0 86 path kindcontrol edges start line85 col3 file0 line85 col4 file0 end line85 col7 file0 line85 col21 file0 kindevent location line85 col7 file0 ranges line85 col7 file0 line85 col23 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line85 col7 file0 line85 col21 file0 end line86 col5 file0 line86 col6 file0 kindevent location line86 col14 file0 ranges line86 col14 file0 line86 col40 file0 depth0 extended_message Method returns an Objective-C object with a +1 retain count message Method returns an Objective-C object with a +1 retain count kindcontrol edges start line86 col5 file0 line86 col6 file0 end line88 col9 file0 line88 col9 file0 kindevent location line88 col9 file0 depth0 extended_message Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1 message Object leaked: object allocated and stored into 'foo' is not referenced later in this execution path and has a retain count of +1 descriptionPotential leak of an object stored into 'foo' categoryMemory (Core Foundation/Objective-C/OSObject) typeLeak check_nameosx.cocoa.RetainCount issue_hash_content_of_line_in_contextf533db5cbb9c20d171f9f92105789dc4 issue_context_kindObjective-C method issue_contexttest2 issue_hash_function_offset2 location line88 col9 file0 ExecutedLines 0 84 85 86 88 path kindevent location line95 col24 file0 ranges line95 col24 file0 line95 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line95 col3 file0 line95 col5 file0 end line96 col4 file0 line96 col5 file0 kindcontrol edges start line96 col4 file0 line96 col5 file0 end line96 col8 file0 line96 col8 file0 kindpop-up location line96 col8 file0 ranges line96 col8 file0 line96 col8 file0 extended_message 'i' is not equal to 1 message 'i' is not equal to 1 kindcontrol edges start line96 col8 file0 line96 col8 file0 end line100 col3 file0 line100 col3 file0 kindcontrol edges start line100 col3 file0 line100 col3 file0 end line95 col3 file0 line95 col5 file0 kindevent location line95 col3 file0 ranges line95 col3 file0 line95 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line95 col24 file0 ranges line95 col24 file0 line95 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line95 col3 file0 line95 col5 file0 end line96 col4 file0 line96 col5 file0 kindcontrol edges start line96 col4 file0 line96 col5 file0 end line96 col8 file0 line96 col8 file0 kindpop-up location line96 col8 file0 ranges line96 col8 file0 line96 col8 file0 extended_message 'i' is equal to 1 message 'i' is equal to 1 kindcontrol edges start line96 col8 file0 line96 col8 file0 end line97 col5 file0 line97 col7 file0 kindevent location line97 col5 file0 ranges line97 col5 file0 line97 col10 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line97 col5 file0 line97 col7 file0 end line98 col5 file0 line98 col5 file0 kindcontrol edges start line98 col5 file0 line98 col5 file0 end line98 col8 file0 line98 col8 file0 kindevent location line98 col8 file0 ranges line98 col6 file0 line98 col6 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context08f9a01186cb2f1b78b08ec20260f1c1 issue_context_kindfunction issue_contextrdar12280665 issue_hash_function_offset4 location line98 col8 file0 ExecutedLines 0 94 95 96 97 98 100 path kindevent location line107 col3 file0 ranges line107 col3 file0 line107 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line107 col3 file0 line107 col5 file0 end line108 col3 file0 line108 col5 file0 kindevent location line108 col24 file0 ranges line108 col24 file0 line108 col28 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line108 col3 file0 line108 col5 file0 end line111 col3 file0 line111 col3 file0 kindcontrol edges start line111 col3 file0 line111 col3 file0 end line111 col6 file0 line111 col6 file0 kindevent location line111 col6 file0 ranges line111 col4 file0 line111 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context93a53e4c8f02d191b07477940ddcf89c issue_context_kindfunction issue_contextradar12322528_for issue_hash_function_offset5 location line111 col6 file0 ExecutedLines 0 106 107 108 111 path kindevent location line115 col3 file0 ranges line115 col3 file0 line115 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line115 col3 file0 line115 col5 file0 end line117 col3 file0 line117 col5 file0 kindevent location line117 col11 file0 ranges line117 col11 file0 line117 col15 file0 depth0 extended_message Loop body executed 0 times message Loop body executed 0 times kindcontrol edges start line117 col3 file0 line117 col5 file0 end line121 col3 file0 line121 col3 file0 kindcontrol edges start line121 col3 file0 line121 col3 file0 end line121 col6 file0 line121 col6 file0 kindevent location line121 col6 file0 ranges line121 col4 file0 line121 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextf2d2dbf579b0b21a6b68726df6a041fc issue_context_kindfunction issue_contextradar12322528_while issue_hash_function_offset7 location line121 col6 file0 ExecutedLines 0 114 115 116 117 121 path kindevent location line125 col3 file0 ranges line125 col3 file0 line125 col8 file0 depth0 extended_message 'p' initialized to a null pointer value message 'p' initialized to a null pointer value kindcontrol edges start line125 col3 file0 line125 col5 file0 end line126 col3 file0 line126 col5 file0 kindevent location line126 col24 file0 ranges line126 col24 file0 line126 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line126 col3 file0 line126 col5 file0 end line127 col5 file0 line127 col6 file0 kindcontrol edges start line127 col5 file0 line127 col6 file0 end line127 col9 file0 line127 col9 file0 kindpop-up location line127 col9 file0 ranges line127 col9 file0 line127 col9 file0 extended_message 'i' is not equal to 1 message 'i' is not equal to 1 kindcontrol edges start line127 col9 file0 line127 col9 file0 end line129 col3 file0 line129 col3 file0 kindcontrol edges start line129 col3 file0 line129 col3 file0 end line126 col3 file0 line126 col5 file0 kindevent location line126 col3 file0 ranges line126 col3 file0 line126 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line126 col24 file0 ranges line126 col24 file0 line126 col28 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line126 col3 file0 line126 col5 file0 end line127 col5 file0 line127 col6 file0 kindcontrol edges start line127 col5 file0 line127 col6 file0 end line127 col9 file0 line127 col9 file0 kindpop-up location line127 col9 file0 ranges line127 col9 file0 line127 col9 file0 extended_message 'i' is equal to 1 message 'i' is equal to 1 kindcontrol edges start line127 col9 file0 line127 col9 file0 end line128 col7 file0 line128 col11 file0 kindcontrol edges start line128 col7 file0 line128 col11 file0 end line130 col3 file0 line130 col3 file0 kindcontrol edges start line130 col3 file0 line130 col3 file0 end line130 col6 file0 line130 col6 file0 kindevent location line130 col6 file0 ranges line130 col4 file0 line130 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context95c7d39fb9d0d8c172b894e02855a07c issue_context_kindfunction issue_contextradar12322528_foo_2 issue_hash_function_offset6 location line130 col6 file0 ExecutedLines 0 124 125 126 127 128 129 130 path kindcontrol edges start line134 col3 file0 line134 col5 file0 end line135 col3 file0 line135 col5 file0 kindevent location line135 col19 file0 ranges line135 col19 file0 line135 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line135 col3 file0 line135 col5 file0 end line135 col33 file0 line135 col33 file0 kindcontrol edges start line135 col33 file0 line135 col33 file0 end line135 col40 file0 line135 col40 file0 kindcontrol edges start line135 col40 file0 line135 col40 file0 end line135 col3 file0 line135 col5 file0 kindevent location line135 col3 file0 ranges line135 col3 file0 line135 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line135 col19 file0 ranges line135 col19 file0 line135 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line135 col3 file0 line135 col5 file0 end line135 col33 file0 line135 col33 file0 kindevent location line135 col33 file0 ranges line135 col33 file0 line135 col37 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line135 col33 file0 line135 col33 file0 end line135 col40 file0 line135 col40 file0 kindcontrol edges start line135 col40 file0 line135 col40 file0 end line135 col3 file0 line135 col5 file0 kindevent location line135 col3 file0 ranges line135 col3 file0 line135 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line135 col3 file0 line135 col5 file0 end line136 col3 file0 line136 col3 file0 kindcontrol edges start line136 col3 file0 line136 col3 file0 end line136 col6 file0 line136 col6 file0 kindevent location line136 col6 file0 ranges line136 col4 file0 line136 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context4cbbc713c8267513fef8a33f1327d7ca issue_context_kindfunction issue_contexttest_loop_diagnostics issue_hash_function_offset3 location line136 col6 file0 ExecutedLines 0 133 134 135 136 path kindcontrol edges start line140 col3 file0 line140 col5 file0 end line141 col3 file0 line141 col5 file0 kindevent location line141 col19 file0 ranges line141 col19 file0 line141 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line141 col3 file0 line141 col5 file0 end line142 col5 file0 line142 col6 file0 kindcontrol edges start line142 col5 file0 line142 col6 file0 end line143 col5 file0 line143 col5 file0 kindcontrol edges start line143 col5 file0 line143 col5 file0 end line144 col3 file0 line144 col3 file0 kindcontrol edges start line144 col3 file0 line144 col3 file0 end line141 col3 file0 line141 col5 file0 kindevent location line141 col3 file0 ranges line141 col3 file0 line141 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line141 col19 file0 ranges line141 col19 file0 line141 col23 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line141 col3 file0 line141 col5 file0 end line142 col5 file0 line142 col6 file0 kindcontrol edges start line142 col5 file0 line142 col6 file0 end line143 col5 file0 line143 col5 file0 kindevent location line143 col5 file0 ranges line143 col5 file0 line143 col9 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line143 col5 file0 line143 col5 file0 end line144 col3 file0 line144 col3 file0 kindcontrol edges start line144 col3 file0 line144 col3 file0 end line141 col3 file0 line141 col5 file0 kindevent location line141 col3 file0 ranges line141 col3 file0 line141 col5 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line141 col3 file0 line141 col5 file0 end line145 col3 file0 line145 col3 file0 kindcontrol edges start line145 col3 file0 line145 col3 file0 end line145 col6 file0 line145 col6 file0 kindevent location line145 col6 file0 ranges line145 col4 file0 line145 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contexta5aa7cf7ce6ba6683bebfff63df926fd issue_context_kindfunction issue_contexttest_loop_diagnostics_2 issue_hash_function_offset6 location line145 col6 file0 ExecutedLines 0 139 140 141 142 143 144 145 path kindcontrol edges start line149 col3 file0 line149 col5 file0 end line151 col3 file0 line151 col7 file0 kindevent location line151 col10 file0 ranges line151 col10 file0 line151 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line151 col3 file0 line151 col7 file0 end line152 col5 file0 line152 col6 file0 kindcontrol edges start line152 col5 file0 line152 col6 file0 end line153 col5 file0 line153 col5 file0 kindcontrol edges start line153 col5 file0 line153 col5 file0 end line154 col3 file0 line154 col3 file0 kindcontrol edges start line154 col3 file0 line154 col3 file0 end line151 col3 file0 line151 col7 file0 kindevent location line151 col3 file0 ranges line151 col3 file0 line151 col7 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindevent location line151 col10 file0 ranges line151 col10 file0 line151 col14 file0 depth0 extended_message Entering loop body message Entering loop body kindcontrol edges start line151 col3 file0 line151 col7 file0 end line152 col5 file0 line152 col6 file0 kindcontrol edges start line152 col5 file0 line152 col6 file0 end line153 col5 file0 line153 col5 file0 kindevent location line153 col5 file0 ranges line153 col5 file0 line153 col9 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line153 col5 file0 line153 col5 file0 end line154 col3 file0 line154 col3 file0 kindcontrol edges start line154 col3 file0 line154 col3 file0 end line151 col3 file0 line151 col7 file0 kindevent location line151 col3 file0 ranges line151 col3 file0 line151 col7 file0 depth0 extended_message Looping back to the head of the loop message Looping back to the head of the loop kindcontrol edges start line151 col3 file0 line151 col7 file0 end line155 col3 file0 line155 col3 file0 kindcontrol edges start line155 col3 file0 line155 col3 file0 end line155 col6 file0 line155 col6 file0 kindevent location line155 col6 file0 ranges line155 col4 file0 line155 col4 file0 depth0 extended_message Dereference of null pointer (loaded from variable 'p') message Dereference of null pointer (loaded from variable 'p') descriptionDereference of null pointer (loaded from variable 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_context3917bac4f8fdce1f6c6393b1f14a1320 issue_context_kindfunction issue_contexttest_loop_diagnostics_3 issue_hash_function_offset7 location line155 col6 file0 ExecutedLines 0 148 149 150 151 152 153 154 155 path kindevent location line163 col3 file0 ranges line163 col8 file0 line163 col8 file0 depth0 extended_message Value stored to 'x' is never read message Value stored to 'x' is never read descriptionValue stored to 'x' is never read categoryDead store typeDead increment check_namedeadcode.DeadStores issue_hash_content_of_line_in_contextc94f341ebaf0fac5d6703aaa7e6bee9b issue_context_kindfunction issue_contexttest_loop_fast_enumeration issue_hash_function_offset5 location line163 col3 file0 ExecutedLines 0 163 path kindevent location line159 col3 file0 ranges line159 col3 file0 line159 col7 file0 depth0 extended_message 'x' declared without an initial value message 'x' declared without an initial value kindcontrol edges start line159 col3 file0 line159 col5 file0 end line160 col3 file0 line160 col5 file0 kindevent location line160 col8 file0 ranges line160 col8 file0 line160 col13 file0 depth0 extended_message Loop body skipped when collection is empty message Loop body skipped when collection is empty kindcontrol edges start line160 col3 file0 line160 col5 file0 end line163 col3 file0 line163 col3 file0 kindcontrol edges start line163 col3 file0 line163 col3 file0 end line163 col5 file0 line163 col6 file0 kindevent location line163 col5 file0 ranges line163 col3 file0 line163 col3 file0 depth0 extended_message The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage message The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage descriptionThe left expression of the compound assignment is an uninitialized value. The computed value will also be garbage categoryLogic error typeAssigned value is garbage or undefined check_namecore.uninitialized.Assign issue_hash_content_of_line_in_context21c774309bdfd487c3d09a61a671bbcc issue_context_kindfunction issue_contexttest_loop_fast_enumeration issue_hash_function_offset5 location line163 col5 file0 ExecutedLines 0 158 159 160 163 path kindevent location line171 col3 file0 ranges line171 col3 file0 line171 col7 file0 depth0 extended_message Null pointer value stored to 'p' message Null pointer value stored to 'p' kindcontrol edges start line171 col3 file0 line171 col3 file0 end line172 col3 file0 line172 col3 file0 kindcontrol edges start line172 col3 file0 line172 col3 file0 end line172 col6 file0 line172 col6 file0 kindevent location line172 col6 file0 ranges line172 col4 file0 line172 col4 file0 depth0 extended_message Dereference of null pointer (loaded from ivar 'p') message Dereference of null pointer (loaded from ivar 'p') descriptionDereference of null pointer (loaded from ivar 'p') categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contextb21eba78798501dc6b716bb91e3f7f01 issue_context_kindObjective-C method issue_contexttest issue_hash_function_offset2 location line172 col6 file0 ExecutedLines 0 170 171 172 path kindevent location line182 col3 file0 ranges line182 col3 file0 line182 col25 file0 depth0 extended_message 's.i' initialized to a null pointer value message 's.i' initialized to a null pointer value kindcontrol edges start line182 col3 file0 line182 col8 file0 end line184 col3 file0 line184 col16 file0 kindevent location line184 col3 file0 ranges line184 col18 file0 line184 col22 file0 depth0 extended_message Null pointer passed to 1st parameter expecting 'nonnull' message Null pointer passed to 1st parameter expecting 'nonnull' descriptionNull pointer passed to 1st parameter expecting 'nonnull' categoryAPI typeArgument with 'nonnull' attribute passed null check_namecore.NonNullParamChecker issue_hash_content_of_line_in_contextc0b359a043c633f1b8d1581f68743361 issue_context_kindfunction issue_contextRDar13295437 issue_hash_function_offset3 location line184 col3 file0 ExecutedLines 0 181 182 183 184 path kindcontrol edges start line192 col3 file0 line192 col4 file0 end line192 col7 file0 line192 col7 file0 kindevent location line192 col7 file0 ranges line192 col7 file0 line192 col7 file0 depth0 extended_message Assuming 'x' is nil message Assuming 'x' is nil kindcontrol edges start line192 col7 file0 line192 col7 file0 end line194 col3 file0 line194 col8 file0 kindcontrol edges start line194 col3 file0 line194 col8 file0 end line194 col12 file0 line194 col12 file0 kindevent location line194 col12 file0 ranges line194 col12 file0 line194 col12 file0 depth0 extended_message 'returnsPointer' not called because the receiver is nil message 'returnsPointer' not called because the receiver is nil kindevent location line194 col10 file0 ranges line194 col10 file0 line194 col28 file0 depth0 extended_message Dereference of null pointer message Dereference of null pointer descriptionDereference of null pointer categoryLogic error typeDereference of null pointer check_namecore.NullDereference issue_hash_content_of_line_in_contexta225fec9dc1e56142b68b3df82b00b6c issue_context_kindfunction issue_contexttestFoo issue_hash_function_offset3 location line194 col10 file0 ExecutedLines 0 191 192 194 files