diagnostics path kindcontrol edges start line22 col3 file0 line22 col17 file0 end line24 col3 file0 line24 col5 file0 kindevent location line24 col3 file0 ranges line24 col3 file0 line24 col7 file0 depth0 extended_message 'p' initialized to 0 message 'p' initialized to 0 kindcontrol edges start line24 col3 file0 line24 col5 file0 end line25 col3 file0 line25 col4 file0 kindcontrol edges start line25 col3 file0 line25 col4 file0 end line31 col3 file0 line31 col4 file0 kindcontrol edges start line31 col3 file0 line31 col4 file0 end line31 col7 file0 line31 col24 file0 kindevent location line31 col7 file0 ranges line31 col7 file0 line31 col27 file0 depth0 extended_message Assuming the condition is true message Assuming the condition is true kindcontrol edges start line31 col7 file0 line31 col24 file0 end line35 col15 file0 line35 col15 file0 kindevent location line35 col15 file0 ranges line35 col13 file0 line35 col17 file0 depth0 extended_message Division by zero message Division by zero descriptionDivision by zero categoryLogic error typeDivision by zero check_namecore.DivideZero issue_hash_content_of_line_in_context86cb845e4f1e6abde1c5b319d5b08eca issue_context_kindfunction issue_contextmain issue_hash_function_offset15 location line35 col15 file0