LCOV - code coverage report

Current view: top level - aws-c-common/include/aws/common - math.gcc_overflow.inl (source / functions) Hit Total Coverage Test: all_fuzz.info Lines: 60 60 100.0 % Date: 2021-04-23 16:28:21 Functions: 43 1232 3.5 %

Function Name	Hit count
allocator.c:aws_add_u32_checked	0
allocator.c:aws_add_u32_saturating	0
allocator.c:aws_add_u64_checked	0
allocator.c:aws_add_u64_saturating	0
allocator.c:aws_mul_u32_checked	0
allocator.c:aws_mul_u32_saturating	0
allocator.c:aws_mul_u64_saturating	0
array_list.c:aws_add_u32_checked	0
array_list.c:aws_add_u32_saturating	0
array_list.c:aws_add_u64_saturating	0
array_list.c:aws_mul_u32_checked	0
array_list.c:aws_mul_u32_saturating	0
array_list.c:aws_mul_u64_saturating	0
aws_add_size_checked_harness.c:aws_add_u32_saturating	0
aws_add_size_checked_harness.c:aws_add_u64_saturating	0
aws_add_size_checked_harness.c:aws_mul_u32_checked	0
aws_add_size_checked_harness.c:aws_mul_u32_saturating	0
aws_add_size_checked_harness.c:aws_mul_u64_checked	0
aws_add_size_checked_harness.c:aws_mul_u64_saturating	0
aws_add_size_saturating_harness.c:aws_add_u32_checked	0
aws_add_size_saturating_harness.c:aws_add_u64_checked	0
aws_add_size_saturating_harness.c:aws_mul_u32_checked	0
aws_add_size_saturating_harness.c:aws_mul_u32_saturating	0
aws_add_size_saturating_harness.c:aws_mul_u64_checked	0
aws_add_size_saturating_harness.c:aws_mul_u64_saturating	0
aws_array_eq_c_str_harness.c:aws_add_u32_checked	0
aws_array_eq_c_str_harness.c:aws_add_u32_saturating	0
aws_array_eq_c_str_harness.c:aws_add_u64_checked	0
aws_array_eq_c_str_harness.c:aws_add_u64_saturating	0
aws_array_eq_c_str_harness.c:aws_mul_u32_checked	0
aws_array_eq_c_str_harness.c:aws_mul_u32_saturating	0
aws_array_eq_c_str_harness.c:aws_mul_u64_checked	0
aws_array_eq_c_str_harness.c:aws_mul_u64_saturating	0
aws_array_list_back_harness.c:aws_add_u32_checked	0
aws_array_list_back_harness.c:aws_add_u32_saturating	0
aws_array_list_back_harness.c:aws_add_u64_checked	0
aws_array_list_back_harness.c:aws_add_u64_saturating	0
aws_array_list_back_harness.c:aws_mul_u32_checked	0
aws_array_list_back_harness.c:aws_mul_u32_saturating	0
aws_array_list_back_harness.c:aws_mul_u64_saturating	0
aws_array_list_capacity_harness.c:aws_add_u32_checked	0
aws_array_list_capacity_harness.c:aws_add_u32_saturating	0
aws_array_list_capacity_harness.c:aws_add_u64_checked	0
aws_array_list_capacity_harness.c:aws_add_u64_saturating	0
aws_array_list_capacity_harness.c:aws_mul_u32_checked	0
aws_array_list_capacity_harness.c:aws_mul_u32_saturating	0
aws_array_list_capacity_harness.c:aws_mul_u64_saturating	0
aws_array_list_clean_up_harness.c:aws_add_u32_checked	0
aws_array_list_clean_up_harness.c:aws_add_u32_saturating	0
aws_array_list_clean_up_harness.c:aws_add_u64_checked	0
aws_array_list_clean_up_harness.c:aws_add_u64_saturating	0
aws_array_list_clean_up_harness.c:aws_mul_u32_checked	0
aws_array_list_clean_up_harness.c:aws_mul_u32_saturating	0
aws_array_list_clean_up_harness.c:aws_mul_u64_saturating	0
aws_array_list_clear_harness.c:aws_add_u32_checked	0
aws_array_list_clear_harness.c:aws_add_u32_saturating	0
aws_array_list_clear_harness.c:aws_add_u64_checked	0
aws_array_list_clear_harness.c:aws_add_u64_saturating	0
aws_array_list_clear_harness.c:aws_mul_u32_checked	0
aws_array_list_clear_harness.c:aws_mul_u32_saturating	0
aws_array_list_clear_harness.c:aws_mul_u64_saturating	0
aws_array_list_comparator_string_harness.c:aws_add_u32_checked	0
aws_array_list_comparator_string_harness.c:aws_add_u32_saturating	0
aws_array_list_comparator_string_harness.c:aws_add_u64_checked	0
aws_array_list_comparator_string_harness.c:aws_add_u64_saturating	0
aws_array_list_comparator_string_harness.c:aws_mul_u32_checked	0
aws_array_list_comparator_string_harness.c:aws_mul_u32_saturating	0
aws_array_list_comparator_string_harness.c:aws_mul_u64_checked	0
aws_array_list_comparator_string_harness.c:aws_mul_u64_saturating	0
aws_array_list_copy_harness.c:aws_add_u32_checked	0
aws_array_list_copy_harness.c:aws_add_u32_saturating	0
aws_array_list_copy_harness.c:aws_add_u64_checked	0
aws_array_list_copy_harness.c:aws_add_u64_saturating	0
aws_array_list_copy_harness.c:aws_mul_u32_checked	0
aws_array_list_copy_harness.c:aws_mul_u32_saturating	0
aws_array_list_copy_harness.c:aws_mul_u64_saturating	0
aws_array_list_ensure_capacity_harness.c:aws_add_u32_checked	0
aws_array_list_ensure_capacity_harness.c:aws_add_u32_saturating	0
aws_array_list_ensure_capacity_harness.c:aws_add_u64_checked	0
aws_array_list_ensure_capacity_harness.c:aws_add_u64_saturating	0
aws_array_list_ensure_capacity_harness.c:aws_mul_u32_checked	0
aws_array_list_ensure_capacity_harness.c:aws_mul_u32_saturating	0
aws_array_list_ensure_capacity_harness.c:aws_mul_u64_saturating	0
aws_array_list_erase_harness.c:aws_add_u32_checked	0
aws_array_list_erase_harness.c:aws_add_u32_saturating	0
aws_array_list_erase_harness.c:aws_add_u64_checked	0
aws_array_list_erase_harness.c:aws_add_u64_saturating	0
aws_array_list_erase_harness.c:aws_mul_u32_checked	0
aws_array_list_erase_harness.c:aws_mul_u32_saturating	0
aws_array_list_erase_harness.c:aws_mul_u64_saturating	0
aws_array_list_front_harness.c:aws_add_u32_checked	0
aws_array_list_front_harness.c:aws_add_u32_saturating	0
aws_array_list_front_harness.c:aws_add_u64_checked	0
aws_array_list_front_harness.c:aws_add_u64_saturating	0
aws_array_list_front_harness.c:aws_mul_u32_checked	0
aws_array_list_front_harness.c:aws_mul_u32_saturating	0
aws_array_list_front_harness.c:aws_mul_u64_saturating	0
aws_array_list_get_at_harness.c:aws_add_u32_checked	0
aws_array_list_get_at_harness.c:aws_add_u32_saturating	0
aws_array_list_get_at_harness.c:aws_add_u64_checked	0
aws_array_list_get_at_harness.c:aws_add_u64_saturating	0
aws_array_list_get_at_harness.c:aws_mul_u32_checked	0
aws_array_list_get_at_harness.c:aws_mul_u32_saturating	0
aws_array_list_get_at_harness.c:aws_mul_u64_saturating	0
aws_array_list_get_at_ptr_harness.c:aws_add_u32_checked	0
aws_array_list_get_at_ptr_harness.c:aws_add_u32_saturating	0
aws_array_list_get_at_ptr_harness.c:aws_add_u64_checked	0
aws_array_list_get_at_ptr_harness.c:aws_add_u64_saturating	0
aws_array_list_get_at_ptr_harness.c:aws_mul_u32_checked	0
aws_array_list_get_at_ptr_harness.c:aws_mul_u32_saturating	0
aws_array_list_get_at_ptr_harness.c:aws_mul_u64_saturating	0
aws_array_list_init_dynamic_harness.c:aws_add_u32_checked	0
aws_array_list_init_dynamic_harness.c:aws_add_u32_saturating	0
aws_array_list_init_dynamic_harness.c:aws_add_u64_checked	0
aws_array_list_init_dynamic_harness.c:aws_add_u64_saturating	0
aws_array_list_init_dynamic_harness.c:aws_mul_u32_checked	0
aws_array_list_init_dynamic_harness.c:aws_mul_u32_saturating	0
aws_array_list_init_dynamic_harness.c:aws_mul_u64_saturating	0
aws_array_list_init_static_harness.c:aws_add_u32_checked	0
aws_array_list_init_static_harness.c:aws_add_u32_saturating	0
aws_array_list_init_static_harness.c:aws_add_u64_checked	0
aws_array_list_init_static_harness.c:aws_add_u64_saturating	0
aws_array_list_init_static_harness.c:aws_mul_u32_checked	0
aws_array_list_init_static_harness.c:aws_mul_u32_saturating	0
aws_array_list_init_static_harness.c:aws_mul_u64_saturating	0
aws_array_list_length_harness.c:aws_add_u32_checked	0
aws_array_list_length_harness.c:aws_add_u32_saturating	0
aws_array_list_length_harness.c:aws_add_u64_checked	0
aws_array_list_length_harness.c:aws_add_u64_saturating	0
aws_array_list_length_harness.c:aws_mul_u32_checked	0
aws_array_list_length_harness.c:aws_mul_u32_saturating	0
aws_array_list_length_harness.c:aws_mul_u64_saturating	0
aws_array_list_pop_back_harness.c:aws_add_u32_checked	0
aws_array_list_pop_back_harness.c:aws_add_u32_saturating	0
aws_array_list_pop_back_harness.c:aws_add_u64_checked	0
aws_array_list_pop_back_harness.c:aws_add_u64_saturating	0
aws_array_list_pop_back_harness.c:aws_mul_u32_checked	0
aws_array_list_pop_back_harness.c:aws_mul_u32_saturating	0
aws_array_list_pop_back_harness.c:aws_mul_u64_saturating	0
aws_array_list_pop_front_harness.c:aws_add_u32_checked	0
aws_array_list_pop_front_harness.c:aws_add_u32_saturating	0
aws_array_list_pop_front_harness.c:aws_add_u64_checked	0
aws_array_list_pop_front_harness.c:aws_add_u64_saturating	0
aws_array_list_pop_front_harness.c:aws_mul_u32_checked	0
aws_array_list_pop_front_harness.c:aws_mul_u32_saturating	0
aws_array_list_pop_front_harness.c:aws_mul_u64_saturating	0
aws_array_list_pop_front_n_harness.c:aws_add_u32_checked	0
aws_array_list_pop_front_n_harness.c:aws_add_u32_saturating	0
aws_array_list_pop_front_n_harness.c:aws_add_u64_checked	0
aws_array_list_pop_front_n_harness.c:aws_add_u64_saturating	0
aws_array_list_pop_front_n_harness.c:aws_mul_u32_checked	0
aws_array_list_pop_front_n_harness.c:aws_mul_u32_saturating	0
aws_array_list_pop_front_n_harness.c:aws_mul_u64_saturating	0
aws_array_list_push_back_harness.c:aws_add_u32_checked	0
aws_array_list_push_back_harness.c:aws_add_u32_saturating	0
aws_array_list_push_back_harness.c:aws_add_u64_saturating	0
aws_array_list_push_back_harness.c:aws_mul_u32_checked	0
aws_array_list_push_back_harness.c:aws_mul_u32_saturating	0
aws_array_list_push_back_harness.c:aws_mul_u64_saturating	0
aws_array_list_set_at_harness.c:aws_add_u32_checked	0
aws_array_list_set_at_harness.c:aws_add_u32_saturating	0
aws_array_list_set_at_harness.c:aws_add_u64_saturating	0
aws_array_list_set_at_harness.c:aws_mul_u32_checked	0
aws_array_list_set_at_harness.c:aws_mul_u32_saturating	0
aws_array_list_set_at_harness.c:aws_mul_u64_saturating	0
aws_array_list_shrink_to_fit_harness.c:aws_add_u32_checked	0
aws_array_list_shrink_to_fit_harness.c:aws_add_u32_saturating	0
aws_array_list_shrink_to_fit_harness.c:aws_add_u64_checked	0
aws_array_list_shrink_to_fit_harness.c:aws_add_u64_saturating	0
aws_array_list_shrink_to_fit_harness.c:aws_mul_u32_checked	0
aws_array_list_shrink_to_fit_harness.c:aws_mul_u32_saturating	0
aws_array_list_shrink_to_fit_harness.c:aws_mul_u64_saturating	0
aws_array_list_sort_harness.c:aws_add_u32_checked	0
aws_array_list_sort_harness.c:aws_add_u32_saturating	0
aws_array_list_sort_harness.c:aws_add_u64_checked	0
aws_array_list_sort_harness.c:aws_add_u64_saturating	0
aws_array_list_sort_harness.c:aws_mul_u32_checked	0
aws_array_list_sort_harness.c:aws_mul_u32_saturating	0
aws_array_list_sort_harness.c:aws_mul_u64_saturating	0
aws_array_list_swap_contents_harness.c:aws_add_u32_checked	0
aws_array_list_swap_contents_harness.c:aws_add_u32_saturating	0
aws_array_list_swap_contents_harness.c:aws_add_u64_checked	0
aws_array_list_swap_contents_harness.c:aws_add_u64_saturating	0
aws_array_list_swap_contents_harness.c:aws_mul_u32_checked	0
aws_array_list_swap_contents_harness.c:aws_mul_u32_saturating	0
aws_array_list_swap_contents_harness.c:aws_mul_u64_saturating	0
aws_array_list_swap_harness.c:aws_add_u32_checked	0
aws_array_list_swap_harness.c:aws_add_u32_saturating	0
aws_array_list_swap_harness.c:aws_add_u64_checked	0
aws_array_list_swap_harness.c:aws_add_u64_saturating	0
aws_array_list_swap_harness.c:aws_mul_u32_checked	0
aws_array_list_swap_harness.c:aws_mul_u32_saturating	0
aws_array_list_swap_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_advance_harness.c:aws_add_u32_checked	0
aws_byte_buf_advance_harness.c:aws_add_u32_saturating	0
aws_byte_buf_advance_harness.c:aws_add_u64_checked	0
aws_byte_buf_advance_harness.c:aws_add_u64_saturating	0
aws_byte_buf_advance_harness.c:aws_mul_u32_checked	0
aws_byte_buf_advance_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_advance_harness.c:aws_mul_u64_checked	0
aws_byte_buf_advance_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_append_dynamic_harness.c:aws_add_u32_checked	0
aws_byte_buf_append_dynamic_harness.c:aws_add_u32_saturating	0
aws_byte_buf_append_dynamic_harness.c:aws_add_u64_checked	0
aws_byte_buf_append_dynamic_harness.c:aws_add_u64_saturating	0
aws_byte_buf_append_dynamic_harness.c:aws_mul_u32_checked	0
aws_byte_buf_append_dynamic_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_append_dynamic_harness.c:aws_mul_u64_checked	0
aws_byte_buf_append_dynamic_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_append_harness.c:aws_add_u32_checked	0
aws_byte_buf_append_harness.c:aws_add_u32_saturating	0
aws_byte_buf_append_harness.c:aws_add_u64_checked	0
aws_byte_buf_append_harness.c:aws_add_u64_saturating	0
aws_byte_buf_append_harness.c:aws_mul_u32_checked	0
aws_byte_buf_append_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_append_harness.c:aws_mul_u64_checked	0
aws_byte_buf_append_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_append_with_lookup_harness.c:aws_add_u32_checked	0
aws_byte_buf_append_with_lookup_harness.c:aws_add_u32_saturating	0
aws_byte_buf_append_with_lookup_harness.c:aws_add_u64_checked	0
aws_byte_buf_append_with_lookup_harness.c:aws_add_u64_saturating	0
aws_byte_buf_append_with_lookup_harness.c:aws_mul_u32_checked	0
aws_byte_buf_append_with_lookup_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_append_with_lookup_harness.c:aws_mul_u64_checked	0
aws_byte_buf_append_with_lookup_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_cat_harness.c:aws_add_u32_checked	0
aws_byte_buf_cat_harness.c:aws_add_u32_saturating	0
aws_byte_buf_cat_harness.c:aws_add_u64_checked	0
aws_byte_buf_cat_harness.c:aws_add_u64_saturating	0
aws_byte_buf_cat_harness.c:aws_mul_u32_checked	0
aws_byte_buf_cat_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_cat_harness.c:aws_mul_u64_checked	0
aws_byte_buf_cat_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_clean_up_harness.c:aws_add_u32_checked	0
aws_byte_buf_clean_up_harness.c:aws_add_u32_saturating	0
aws_byte_buf_clean_up_harness.c:aws_add_u64_checked	0
aws_byte_buf_clean_up_harness.c:aws_add_u64_saturating	0
aws_byte_buf_clean_up_harness.c:aws_mul_u32_checked	0
aws_byte_buf_clean_up_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_clean_up_harness.c:aws_mul_u64_checked	0
aws_byte_buf_clean_up_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_clean_up_secure_harness.c:aws_add_u32_checked	0
aws_byte_buf_clean_up_secure_harness.c:aws_add_u32_saturating	0
aws_byte_buf_clean_up_secure_harness.c:aws_add_u64_checked	0
aws_byte_buf_clean_up_secure_harness.c:aws_add_u64_saturating	0
aws_byte_buf_clean_up_secure_harness.c:aws_mul_u32_checked	0
aws_byte_buf_clean_up_secure_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_clean_up_secure_harness.c:aws_mul_u64_checked	0
aws_byte_buf_clean_up_secure_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_eq_c_str_harness.c:aws_add_u32_checked	0
aws_byte_buf_eq_c_str_harness.c:aws_add_u32_saturating	0
aws_byte_buf_eq_c_str_harness.c:aws_add_u64_checked	0
aws_byte_buf_eq_c_str_harness.c:aws_add_u64_saturating	0
aws_byte_buf_eq_c_str_harness.c:aws_mul_u32_checked	0
aws_byte_buf_eq_c_str_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_eq_c_str_harness.c:aws_mul_u64_checked	0
aws_byte_buf_eq_c_str_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_add_u32_checked	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_add_u32_saturating	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_add_u64_checked	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_add_u64_saturating	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_mul_u32_checked	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_mul_u64_checked	0
aws_byte_buf_eq_c_str_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_eq_harness.c:aws_add_u32_checked	0
aws_byte_buf_eq_harness.c:aws_add_u32_saturating	0
aws_byte_buf_eq_harness.c:aws_add_u64_checked	0
aws_byte_buf_eq_harness.c:aws_add_u64_saturating	0
aws_byte_buf_eq_harness.c:aws_mul_u32_checked	0
aws_byte_buf_eq_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_eq_harness.c:aws_mul_u64_checked	0
aws_byte_buf_eq_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_eq_ignore_case_harness.c:aws_add_u32_checked	0
aws_byte_buf_eq_ignore_case_harness.c:aws_add_u32_saturating	0
aws_byte_buf_eq_ignore_case_harness.c:aws_add_u64_checked	0
aws_byte_buf_eq_ignore_case_harness.c:aws_add_u64_saturating	0
aws_byte_buf_eq_ignore_case_harness.c:aws_mul_u32_checked	0
aws_byte_buf_eq_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_eq_ignore_case_harness.c:aws_mul_u64_checked	0
aws_byte_buf_eq_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_from_array_harness.c:aws_add_u32_checked	0
aws_byte_buf_from_array_harness.c:aws_add_u32_saturating	0
aws_byte_buf_from_array_harness.c:aws_add_u64_checked	0
aws_byte_buf_from_array_harness.c:aws_add_u64_saturating	0
aws_byte_buf_from_array_harness.c:aws_mul_u32_checked	0
aws_byte_buf_from_array_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_from_array_harness.c:aws_mul_u64_checked	0
aws_byte_buf_from_array_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_from_c_str_harness.c:aws_add_u32_checked	0
aws_byte_buf_from_c_str_harness.c:aws_add_u32_saturating	0
aws_byte_buf_from_c_str_harness.c:aws_add_u64_checked	0
aws_byte_buf_from_c_str_harness.c:aws_add_u64_saturating	0
aws_byte_buf_from_c_str_harness.c:aws_mul_u32_checked	0
aws_byte_buf_from_c_str_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_from_c_str_harness.c:aws_mul_u64_checked	0
aws_byte_buf_from_c_str_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_from_empty_array_harness.c:aws_add_u32_checked	0
aws_byte_buf_from_empty_array_harness.c:aws_add_u32_saturating	0
aws_byte_buf_from_empty_array_harness.c:aws_add_u64_checked	0
aws_byte_buf_from_empty_array_harness.c:aws_add_u64_saturating	0
aws_byte_buf_from_empty_array_harness.c:aws_mul_u32_checked	0
aws_byte_buf_from_empty_array_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_from_empty_array_harness.c:aws_mul_u64_checked	0
aws_byte_buf_from_empty_array_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_add_u32_checked	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_add_u32_saturating	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_add_u64_checked	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_add_u64_saturating	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_mul_u32_checked	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_mul_u64_checked	0
aws_byte_buf_init_copy_from_cursor_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_init_copy_harness.c:aws_add_u32_checked	0
aws_byte_buf_init_copy_harness.c:aws_add_u32_saturating	0
aws_byte_buf_init_copy_harness.c:aws_add_u64_checked	0
aws_byte_buf_init_copy_harness.c:aws_add_u64_saturating	0
aws_byte_buf_init_copy_harness.c:aws_mul_u32_checked	0
aws_byte_buf_init_copy_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_init_copy_harness.c:aws_mul_u64_checked	0
aws_byte_buf_init_copy_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_init_harness.c:aws_add_u32_checked	0
aws_byte_buf_init_harness.c:aws_add_u32_saturating	0
aws_byte_buf_init_harness.c:aws_add_u64_checked	0
aws_byte_buf_init_harness.c:aws_add_u64_saturating	0
aws_byte_buf_init_harness.c:aws_mul_u32_checked	0
aws_byte_buf_init_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_init_harness.c:aws_mul_u64_checked	0
aws_byte_buf_init_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_reserve_harness.c:aws_add_u32_checked	0
aws_byte_buf_reserve_harness.c:aws_add_u32_saturating	0
aws_byte_buf_reserve_harness.c:aws_add_u64_checked	0
aws_byte_buf_reserve_harness.c:aws_add_u64_saturating	0
aws_byte_buf_reserve_harness.c:aws_mul_u32_checked	0
aws_byte_buf_reserve_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_reserve_harness.c:aws_mul_u64_checked	0
aws_byte_buf_reserve_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_reserve_relative_harness.c:aws_add_u32_checked	0
aws_byte_buf_reserve_relative_harness.c:aws_add_u32_saturating	0
aws_byte_buf_reserve_relative_harness.c:aws_add_u64_checked	0
aws_byte_buf_reserve_relative_harness.c:aws_add_u64_saturating	0
aws_byte_buf_reserve_relative_harness.c:aws_mul_u32_checked	0
aws_byte_buf_reserve_relative_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_reserve_relative_harness.c:aws_mul_u64_checked	0
aws_byte_buf_reserve_relative_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_reset_harness.c:aws_add_u32_checked	0
aws_byte_buf_reset_harness.c:aws_add_u32_saturating	0
aws_byte_buf_reset_harness.c:aws_add_u64_checked	0
aws_byte_buf_reset_harness.c:aws_add_u64_saturating	0
aws_byte_buf_reset_harness.c:aws_mul_u32_checked	0
aws_byte_buf_reset_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_reset_harness.c:aws_mul_u64_checked	0
aws_byte_buf_reset_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_secure_zero_harness.c:aws_add_u32_checked	0
aws_byte_buf_secure_zero_harness.c:aws_add_u32_saturating	0
aws_byte_buf_secure_zero_harness.c:aws_add_u64_checked	0
aws_byte_buf_secure_zero_harness.c:aws_add_u64_saturating	0
aws_byte_buf_secure_zero_harness.c:aws_mul_u32_checked	0
aws_byte_buf_secure_zero_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_secure_zero_harness.c:aws_mul_u64_checked	0
aws_byte_buf_secure_zero_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_be16_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_be16_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_be16_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_be16_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_be16_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_be16_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_be16_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_be16_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_be32_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_be32_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_be32_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_be32_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_be32_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_be32_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_be32_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_be32_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_be64_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_be64_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_be64_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_be64_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_be64_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_be64_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_be64_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_be64_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_from_whole_buffer_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_from_whole_cursor_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_from_whole_string_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_from_whole_string_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_from_whole_string_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_from_whole_string_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_from_whole_string_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_from_whole_string_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_from_whole_string_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_from_whole_string_harness.c:aws_mul_u64_saturating	0
aws_byte_buf_write_u8_harness.c:aws_add_u32_checked	0
aws_byte_buf_write_u8_harness.c:aws_add_u32_saturating	0
aws_byte_buf_write_u8_harness.c:aws_add_u64_checked	0
aws_byte_buf_write_u8_harness.c:aws_add_u64_saturating	0
aws_byte_buf_write_u8_harness.c:aws_mul_u32_checked	0
aws_byte_buf_write_u8_harness.c:aws_mul_u32_saturating	0
aws_byte_buf_write_u8_harness.c:aws_mul_u64_checked	0
aws_byte_buf_write_u8_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_advance_harness.c:aws_add_u32_checked	0
aws_byte_cursor_advance_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_advance_harness.c:aws_add_u64_checked	0
aws_byte_cursor_advance_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_advance_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_advance_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_advance_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_advance_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_advance_nospec_harness.c:aws_add_u32_checked	0
aws_byte_cursor_advance_nospec_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_advance_nospec_harness.c:aws_add_u64_checked	0
aws_byte_cursor_advance_nospec_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_advance_nospec_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_advance_nospec_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_advance_nospec_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_advance_nospec_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_compare_lexical_harness.c:aws_add_u32_checked	0
aws_byte_cursor_compare_lexical_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_compare_lexical_harness.c:aws_add_u64_checked	0
aws_byte_cursor_compare_lexical_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_compare_lexical_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_compare_lexical_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_compare_lexical_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_compare_lexical_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_compare_lookup_harness.c:aws_add_u32_checked	0
aws_byte_cursor_compare_lookup_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_compare_lookup_harness.c:aws_add_u64_checked	0
aws_byte_cursor_compare_lookup_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_compare_lookup_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_compare_lookup_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_compare_lookup_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_compare_lookup_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_add_u32_checked	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_add_u64_checked	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_eq_byte_buf_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_add_u32_checked	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_add_u64_checked	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_eq_byte_buf_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_eq_c_str_harness.c:aws_add_u32_checked	0
aws_byte_cursor_eq_c_str_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_eq_c_str_harness.c:aws_add_u64_checked	0
aws_byte_cursor_eq_c_str_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_eq_c_str_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_eq_c_str_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_eq_c_str_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_eq_c_str_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_add_u32_checked	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_add_u64_checked	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_eq_c_str_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_eq_harness.c:aws_add_u32_checked	0
aws_byte_cursor_eq_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_eq_harness.c:aws_add_u64_checked	0
aws_byte_cursor_eq_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_eq_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_eq_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_eq_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_eq_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_add_u32_checked	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_add_u64_checked	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_eq_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_from_array_harness.c:aws_add_u32_checked	0
aws_byte_cursor_from_array_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_from_array_harness.c:aws_add_u64_checked	0
aws_byte_cursor_from_array_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_from_array_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_from_array_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_from_array_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_from_array_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_from_buf_harness.c:aws_add_u32_checked	0
aws_byte_cursor_from_buf_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_from_buf_harness.c:aws_add_u64_checked	0
aws_byte_cursor_from_buf_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_from_buf_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_from_buf_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_from_buf_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_from_buf_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_from_c_str_harness.c:aws_add_u32_checked	0
aws_byte_cursor_from_c_str_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_from_c_str_harness.c:aws_add_u64_checked	0
aws_byte_cursor_from_c_str_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_from_c_str_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_from_c_str_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_from_c_str_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_from_c_str_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_from_string_harness.c:aws_add_u32_checked	0
aws_byte_cursor_from_string_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_from_string_harness.c:aws_add_u64_checked	0
aws_byte_cursor_from_string_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_from_string_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_from_string_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_from_string_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_from_string_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_left_trim_pred_harness.c:aws_add_u32_checked	0
aws_byte_cursor_left_trim_pred_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_left_trim_pred_harness.c:aws_add_u64_checked	0
aws_byte_cursor_left_trim_pred_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_left_trim_pred_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_left_trim_pred_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_left_trim_pred_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_left_trim_pred_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_add_u32_checked	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_add_u64_checked	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_read_and_fill_buffer_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_read_be16_harness.c:aws_add_u32_checked	0
aws_byte_cursor_read_be16_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_read_be16_harness.c:aws_add_u64_checked	0
aws_byte_cursor_read_be16_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_read_be16_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_read_be16_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_read_be16_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_read_be16_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_read_be32_harness.c:aws_add_u32_checked	0
aws_byte_cursor_read_be32_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_read_be32_harness.c:aws_add_u64_checked	0
aws_byte_cursor_read_be32_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_read_be32_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_read_be32_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_read_be32_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_read_be32_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_read_be64_harness.c:aws_add_u32_checked	0
aws_byte_cursor_read_be64_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_read_be64_harness.c:aws_add_u64_checked	0
aws_byte_cursor_read_be64_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_read_be64_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_read_be64_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_read_be64_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_read_be64_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_read_harness.c:aws_add_u32_checked	0
aws_byte_cursor_read_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_read_harness.c:aws_add_u64_checked	0
aws_byte_cursor_read_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_read_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_read_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_read_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_read_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_read_u8_harness.c:aws_add_u32_checked	0
aws_byte_cursor_read_u8_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_read_u8_harness.c:aws_add_u64_checked	0
aws_byte_cursor_read_u8_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_read_u8_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_read_u8_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_read_u8_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_read_u8_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_right_trim_pred_harness.c:aws_add_u32_checked	0
aws_byte_cursor_right_trim_pred_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_right_trim_pred_harness.c:aws_add_u64_checked	0
aws_byte_cursor_right_trim_pred_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_right_trim_pred_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_right_trim_pred_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_right_trim_pred_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_right_trim_pred_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_satisfies_pred_harness.c:aws_add_u32_checked	0
aws_byte_cursor_satisfies_pred_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_satisfies_pred_harness.c:aws_add_u64_checked	0
aws_byte_cursor_satisfies_pred_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_satisfies_pred_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_satisfies_pred_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_satisfies_pred_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_satisfies_pred_harness.c:aws_mul_u64_saturating	0
aws_byte_cursor_trim_pred_harness.c:aws_add_u32_checked	0
aws_byte_cursor_trim_pred_harness.c:aws_add_u32_saturating	0
aws_byte_cursor_trim_pred_harness.c:aws_add_u64_checked	0
aws_byte_cursor_trim_pred_harness.c:aws_add_u64_saturating	0
aws_byte_cursor_trim_pred_harness.c:aws_mul_u32_checked	0
aws_byte_cursor_trim_pred_harness.c:aws_mul_u32_saturating	0
aws_byte_cursor_trim_pred_harness.c:aws_mul_u64_checked	0
aws_byte_cursor_trim_pred_harness.c:aws_mul_u64_saturating	0
aws_hash_byte_cursor_ptr_harness.c:aws_add_u32_checked	0
aws_hash_byte_cursor_ptr_harness.c:aws_add_u32_saturating	0
aws_hash_byte_cursor_ptr_harness.c:aws_add_u64_checked	0
aws_hash_byte_cursor_ptr_harness.c:aws_add_u64_saturating	0
aws_hash_byte_cursor_ptr_harness.c:aws_mul_u32_checked	0
aws_hash_byte_cursor_ptr_harness.c:aws_mul_u32_saturating	0
aws_hash_byte_cursor_ptr_harness.c:aws_mul_u64_checked	0
aws_hash_byte_cursor_ptr_harness.c:aws_mul_u64_saturating	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_add_u32_checked	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_add_u32_saturating	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_add_u64_checked	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_add_u64_saturating	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_mul_u32_checked	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_mul_u64_checked	0
aws_hash_byte_cursor_ptr_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_hash_c_string_harness.c:aws_add_u32_checked	0
aws_hash_c_string_harness.c:aws_add_u32_saturating	0
aws_hash_c_string_harness.c:aws_add_u64_checked	0
aws_hash_c_string_harness.c:aws_add_u64_saturating	0
aws_hash_c_string_harness.c:aws_mul_u32_checked	0
aws_hash_c_string_harness.c:aws_mul_u32_saturating	0
aws_hash_c_string_harness.c:aws_mul_u64_checked	0
aws_hash_c_string_harness.c:aws_mul_u64_saturating	0
aws_hash_callback_c_str_eq_harness.c:aws_add_u32_checked	0
aws_hash_callback_c_str_eq_harness.c:aws_add_u32_saturating	0
aws_hash_callback_c_str_eq_harness.c:aws_add_u64_checked	0
aws_hash_callback_c_str_eq_harness.c:aws_add_u64_saturating	0
aws_hash_callback_c_str_eq_harness.c:aws_mul_u32_checked	0
aws_hash_callback_c_str_eq_harness.c:aws_mul_u32_saturating	0
aws_hash_callback_c_str_eq_harness.c:aws_mul_u64_checked	0
aws_hash_callback_c_str_eq_harness.c:aws_mul_u64_saturating	0
aws_hash_callback_string_destroy_harness.c:aws_add_u32_checked	0
aws_hash_callback_string_destroy_harness.c:aws_add_u32_saturating	0
aws_hash_callback_string_destroy_harness.c:aws_add_u64_checked	0
aws_hash_callback_string_destroy_harness.c:aws_add_u64_saturating	0
aws_hash_callback_string_destroy_harness.c:aws_mul_u32_checked	0
aws_hash_callback_string_destroy_harness.c:aws_mul_u32_saturating	0
aws_hash_callback_string_destroy_harness.c:aws_mul_u64_checked	0
aws_hash_callback_string_destroy_harness.c:aws_mul_u64_saturating	0
aws_hash_callback_string_eq_harness.c:aws_add_u32_checked	0
aws_hash_callback_string_eq_harness.c:aws_add_u32_saturating	0
aws_hash_callback_string_eq_harness.c:aws_add_u64_checked	0
aws_hash_callback_string_eq_harness.c:aws_add_u64_saturating	0
aws_hash_callback_string_eq_harness.c:aws_mul_u32_checked	0
aws_hash_callback_string_eq_harness.c:aws_mul_u32_saturating	0
aws_hash_callback_string_eq_harness.c:aws_mul_u64_checked	0
aws_hash_callback_string_eq_harness.c:aws_mul_u64_saturating	0
aws_hash_iter_begin_done_harness.c:aws_add_u32_checked	0
aws_hash_iter_begin_done_harness.c:aws_add_u32_saturating	0
aws_hash_iter_begin_done_harness.c:aws_add_u64_checked	0
aws_hash_iter_begin_done_harness.c:aws_add_u64_saturating	0
aws_hash_iter_begin_done_harness.c:aws_mul_u32_checked	0
aws_hash_iter_begin_done_harness.c:aws_mul_u32_saturating	0
aws_hash_iter_begin_done_harness.c:aws_mul_u64_checked	0
aws_hash_iter_begin_done_harness.c:aws_mul_u64_saturating	0
aws_hash_iter_begin_harness.c:aws_add_u32_checked	0
aws_hash_iter_begin_harness.c:aws_add_u32_saturating	0
aws_hash_iter_begin_harness.c:aws_add_u64_checked	0
aws_hash_iter_begin_harness.c:aws_add_u64_saturating	0
aws_hash_iter_begin_harness.c:aws_mul_u32_checked	0
aws_hash_iter_begin_harness.c:aws_mul_u32_saturating	0
aws_hash_iter_begin_harness.c:aws_mul_u64_checked	0
aws_hash_iter_begin_harness.c:aws_mul_u64_saturating	0
aws_hash_iter_delete_harness.c:aws_add_u32_checked	0
aws_hash_iter_delete_harness.c:aws_add_u32_saturating	0
aws_hash_iter_delete_harness.c:aws_add_u64_checked	0
aws_hash_iter_delete_harness.c:aws_add_u64_saturating	0
aws_hash_iter_delete_harness.c:aws_mul_u32_checked	0
aws_hash_iter_delete_harness.c:aws_mul_u32_saturating	0
aws_hash_iter_delete_harness.c:aws_mul_u64_checked	0
aws_hash_iter_delete_harness.c:aws_mul_u64_saturating	0
aws_hash_iter_done_harness.c:aws_add_u32_checked	0
aws_hash_iter_done_harness.c:aws_add_u32_saturating	0
aws_hash_iter_done_harness.c:aws_add_u64_checked	0
aws_hash_iter_done_harness.c:aws_add_u64_saturating	0
aws_hash_iter_done_harness.c:aws_mul_u32_checked	0
aws_hash_iter_done_harness.c:aws_mul_u32_saturating	0
aws_hash_iter_done_harness.c:aws_mul_u64_checked	0
aws_hash_iter_done_harness.c:aws_mul_u64_saturating	0
aws_hash_iter_next_harness.c:aws_add_u32_checked	0
aws_hash_iter_next_harness.c:aws_add_u32_saturating	0
aws_hash_iter_next_harness.c:aws_add_u64_checked	0
aws_hash_iter_next_harness.c:aws_add_u64_saturating	0
aws_hash_iter_next_harness.c:aws_mul_u32_checked	0
aws_hash_iter_next_harness.c:aws_mul_u32_saturating	0
aws_hash_iter_next_harness.c:aws_mul_u64_checked	0
aws_hash_iter_next_harness.c:aws_mul_u64_saturating	0
aws_hash_string_harness.c:aws_add_u32_checked	0
aws_hash_string_harness.c:aws_add_u32_saturating	0
aws_hash_string_harness.c:aws_add_u64_checked	0
aws_hash_string_harness.c:aws_add_u64_saturating	0
aws_hash_string_harness.c:aws_mul_u32_checked	0
aws_hash_string_harness.c:aws_mul_u32_saturating	0
aws_hash_string_harness.c:aws_mul_u64_checked	0
aws_hash_string_harness.c:aws_mul_u64_saturating	0
aws_hash_table_clean_up_harness.c:aws_add_u32_checked	0
aws_hash_table_clean_up_harness.c:aws_add_u32_saturating	0
aws_hash_table_clean_up_harness.c:aws_add_u64_checked	0
aws_hash_table_clean_up_harness.c:aws_add_u64_saturating	0
aws_hash_table_clean_up_harness.c:aws_mul_u32_checked	0
aws_hash_table_clean_up_harness.c:aws_mul_u32_saturating	0
aws_hash_table_clean_up_harness.c:aws_mul_u64_checked	0
aws_hash_table_clean_up_harness.c:aws_mul_u64_saturating	0
aws_hash_table_clear_harness.c:aws_add_u32_checked	0
aws_hash_table_clear_harness.c:aws_add_u32_saturating	0
aws_hash_table_clear_harness.c:aws_add_u64_checked	0
aws_hash_table_clear_harness.c:aws_add_u64_saturating	0
aws_hash_table_clear_harness.c:aws_mul_u32_checked	0
aws_hash_table_clear_harness.c:aws_mul_u32_saturating	0
aws_hash_table_clear_harness.c:aws_mul_u64_checked	0
aws_hash_table_clear_harness.c:aws_mul_u64_saturating	0
aws_hash_table_create_harness.c:aws_add_u32_checked	0
aws_hash_table_create_harness.c:aws_add_u32_saturating	0
aws_hash_table_create_harness.c:aws_add_u64_checked	0
aws_hash_table_create_harness.c:aws_add_u64_saturating	0
aws_hash_table_create_harness.c:aws_mul_u32_checked	0
aws_hash_table_create_harness.c:aws_mul_u32_saturating	0
aws_hash_table_create_harness.c:aws_mul_u64_checked	0
aws_hash_table_create_harness.c:aws_mul_u64_saturating	0
aws_hash_table_eq_harness.c:aws_add_u32_checked	0
aws_hash_table_eq_harness.c:aws_add_u32_saturating	0
aws_hash_table_eq_harness.c:aws_add_u64_checked	0
aws_hash_table_eq_harness.c:aws_add_u64_saturating	0
aws_hash_table_eq_harness.c:aws_mul_u32_checked	0
aws_hash_table_eq_harness.c:aws_mul_u32_saturating	0
aws_hash_table_eq_harness.c:aws_mul_u64_checked	0
aws_hash_table_eq_harness.c:aws_mul_u64_saturating	0
aws_hash_table_find_harness.c:aws_add_u32_checked	0
aws_hash_table_find_harness.c:aws_add_u32_saturating	0
aws_hash_table_find_harness.c:aws_add_u64_checked	0
aws_hash_table_find_harness.c:aws_add_u64_saturating	0
aws_hash_table_find_harness.c:aws_mul_u32_checked	0
aws_hash_table_find_harness.c:aws_mul_u32_saturating	0
aws_hash_table_find_harness.c:aws_mul_u64_checked	0
aws_hash_table_find_harness.c:aws_mul_u64_saturating	0
aws_hash_table_foreach_harness.c:aws_add_u32_checked	0
aws_hash_table_foreach_harness.c:aws_add_u32_saturating	0
aws_hash_table_foreach_harness.c:aws_add_u64_checked	0
aws_hash_table_foreach_harness.c:aws_add_u64_saturating	0
aws_hash_table_foreach_harness.c:aws_mul_u32_checked	0
aws_hash_table_foreach_harness.c:aws_mul_u32_saturating	0
aws_hash_table_foreach_harness.c:aws_mul_u64_checked	0
aws_hash_table_foreach_harness.c:aws_mul_u64_saturating	0
aws_hash_table_get_entry_count_harness.c:aws_add_u32_checked	0
aws_hash_table_get_entry_count_harness.c:aws_add_u32_saturating	0
aws_hash_table_get_entry_count_harness.c:aws_add_u64_checked	0
aws_hash_table_get_entry_count_harness.c:aws_add_u64_saturating	0
aws_hash_table_get_entry_count_harness.c:aws_mul_u32_checked	0
aws_hash_table_get_entry_count_harness.c:aws_mul_u32_saturating	0
aws_hash_table_get_entry_count_harness.c:aws_mul_u64_checked	0
aws_hash_table_get_entry_count_harness.c:aws_mul_u64_saturating	0
aws_hash_table_init_bounded_harness.c:aws_add_u32_checked	0
aws_hash_table_init_bounded_harness.c:aws_add_u32_saturating	0
aws_hash_table_init_bounded_harness.c:aws_add_u64_checked	0
aws_hash_table_init_bounded_harness.c:aws_add_u64_saturating	0
aws_hash_table_init_bounded_harness.c:aws_mul_u32_checked	0
aws_hash_table_init_bounded_harness.c:aws_mul_u32_saturating	0
aws_hash_table_init_bounded_harness.c:aws_mul_u64_checked	0
aws_hash_table_init_bounded_harness.c:aws_mul_u64_saturating	0
aws_hash_table_move_harness.c:aws_add_u32_checked	0
aws_hash_table_move_harness.c:aws_add_u32_saturating	0
aws_hash_table_move_harness.c:aws_add_u64_checked	0
aws_hash_table_move_harness.c:aws_add_u64_saturating	0
aws_hash_table_move_harness.c:aws_mul_u32_checked	0
aws_hash_table_move_harness.c:aws_mul_u32_saturating	0
aws_hash_table_move_harness.c:aws_mul_u64_checked	0
aws_hash_table_move_harness.c:aws_mul_u64_saturating	0
aws_hash_table_put_harness.c:aws_add_u32_checked	0
aws_hash_table_put_harness.c:aws_add_u32_saturating	0
aws_hash_table_put_harness.c:aws_add_u64_checked	0
aws_hash_table_put_harness.c:aws_add_u64_saturating	0
aws_hash_table_put_harness.c:aws_mul_u32_checked	0
aws_hash_table_put_harness.c:aws_mul_u32_saturating	0
aws_hash_table_put_harness.c:aws_mul_u64_checked	0
aws_hash_table_put_harness.c:aws_mul_u64_saturating	0
aws_hash_table_remove_harness.c:aws_add_u32_checked	0
aws_hash_table_remove_harness.c:aws_add_u32_saturating	0
aws_hash_table_remove_harness.c:aws_add_u64_checked	0
aws_hash_table_remove_harness.c:aws_add_u64_saturating	0
aws_hash_table_remove_harness.c:aws_mul_u32_checked	0
aws_hash_table_remove_harness.c:aws_mul_u32_saturating	0
aws_hash_table_remove_harness.c:aws_mul_u64_checked	0
aws_hash_table_remove_harness.c:aws_mul_u64_saturating	0
aws_hash_table_swap_harness.c:aws_add_u32_checked	0
aws_hash_table_swap_harness.c:aws_add_u32_saturating	0
aws_hash_table_swap_harness.c:aws_add_u64_checked	0
aws_hash_table_swap_harness.c:aws_add_u64_saturating	0
aws_hash_table_swap_harness.c:aws_mul_u32_checked	0
aws_hash_table_swap_harness.c:aws_mul_u32_saturating	0
aws_hash_table_swap_harness.c:aws_mul_u64_checked	0
aws_hash_table_swap_harness.c:aws_mul_u64_saturating	0
aws_linked_list_node_reset_harness.c:aws_add_u32_checked	0
aws_linked_list_node_reset_harness.c:aws_add_u32_saturating	0
aws_linked_list_node_reset_harness.c:aws_add_u64_checked	0
aws_linked_list_node_reset_harness.c:aws_add_u64_saturating	0
aws_linked_list_node_reset_harness.c:aws_mul_u32_checked	0
aws_linked_list_node_reset_harness.c:aws_mul_u32_saturating	0
aws_linked_list_node_reset_harness.c:aws_mul_u64_checked	0
aws_linked_list_node_reset_harness.c:aws_mul_u64_saturating	0
aws_mul_size_checked_harness.c:aws_add_u32_checked	0
aws_mul_size_checked_harness.c:aws_add_u32_saturating	0
aws_mul_size_checked_harness.c:aws_add_u64_checked	0
aws_mul_size_checked_harness.c:aws_add_u64_saturating	0
aws_mul_size_checked_harness.c:aws_mul_u32_saturating	0
aws_mul_size_checked_harness.c:aws_mul_u64_saturating	0
aws_mul_size_saturating_harness.c:aws_add_u32_checked	0
aws_mul_size_saturating_harness.c:aws_add_u32_saturating	0
aws_mul_size_saturating_harness.c:aws_add_u64_checked	0
aws_mul_size_saturating_harness.c:aws_add_u64_saturating	0
aws_mul_size_saturating_harness.c:aws_mul_u32_checked	0
aws_mul_size_saturating_harness.c:aws_mul_u64_checked	0
aws_nospec_mask_harness.c:aws_add_u32_checked	0
aws_nospec_mask_harness.c:aws_add_u32_saturating	0
aws_nospec_mask_harness.c:aws_add_u64_checked	0
aws_nospec_mask_harness.c:aws_add_u64_saturating	0
aws_nospec_mask_harness.c:aws_mul_u32_checked	0
aws_nospec_mask_harness.c:aws_mul_u32_saturating	0
aws_nospec_mask_harness.c:aws_mul_u64_checked	0
aws_nospec_mask_harness.c:aws_mul_u64_saturating	0
aws_priority_queue_capacity_harness.c:aws_add_u32_checked	0
aws_priority_queue_capacity_harness.c:aws_add_u32_saturating	0
aws_priority_queue_capacity_harness.c:aws_add_u64_checked	0
aws_priority_queue_capacity_harness.c:aws_add_u64_saturating	0
aws_priority_queue_capacity_harness.c:aws_mul_u32_checked	0
aws_priority_queue_capacity_harness.c:aws_mul_u32_saturating	0
aws_priority_queue_capacity_harness.c:aws_mul_u64_checked	0
aws_priority_queue_capacity_harness.c:aws_mul_u64_saturating	0
aws_priority_queue_clean_up_harness.c:aws_add_u32_checked	0
aws_priority_queue_clean_up_harness.c:aws_add_u32_saturating	0
aws_priority_queue_clean_up_harness.c:aws_add_u64_checked	0
aws_priority_queue_clean_up_harness.c:aws_add_u64_saturating	0
aws_priority_queue_clean_up_harness.c:aws_mul_u32_checked	0
aws_priority_queue_clean_up_harness.c:aws_mul_u32_saturating	0
aws_priority_queue_clean_up_harness.c:aws_mul_u64_checked	0
aws_priority_queue_clean_up_harness.c:aws_mul_u64_saturating	0
aws_priority_queue_init_dynamic_harness.c:aws_add_u32_checked	0
aws_priority_queue_init_dynamic_harness.c:aws_add_u32_saturating	0
aws_priority_queue_init_dynamic_harness.c:aws_add_u64_checked	0
aws_priority_queue_init_dynamic_harness.c:aws_add_u64_saturating	0
aws_priority_queue_init_dynamic_harness.c:aws_mul_u32_checked	0
aws_priority_queue_init_dynamic_harness.c:aws_mul_u32_saturating	0
aws_priority_queue_init_dynamic_harness.c:aws_mul_u64_saturating	0
aws_priority_queue_init_static_harness.c:aws_add_u32_checked	0
aws_priority_queue_init_static_harness.c:aws_add_u32_saturating	0
aws_priority_queue_init_static_harness.c:aws_add_u64_checked	0
aws_priority_queue_init_static_harness.c:aws_add_u64_saturating	0
aws_priority_queue_init_static_harness.c:aws_mul_u32_checked	0
aws_priority_queue_init_static_harness.c:aws_mul_u32_saturating	0
aws_priority_queue_init_static_harness.c:aws_mul_u64_saturating	0
aws_priority_queue_size_harness.c:aws_add_u32_checked	0
aws_priority_queue_size_harness.c:aws_add_u32_saturating	0
aws_priority_queue_size_harness.c:aws_add_u64_checked	0
aws_priority_queue_size_harness.c:aws_add_u64_saturating	0
aws_priority_queue_size_harness.c:aws_mul_u32_checked	0
aws_priority_queue_size_harness.c:aws_mul_u32_saturating	0
aws_priority_queue_size_harness.c:aws_mul_u64_checked	0
aws_priority_queue_size_harness.c:aws_mul_u64_saturating	0
aws_priority_queue_top_harness.c:aws_add_u32_checked	0
aws_priority_queue_top_harness.c:aws_add_u32_saturating	0
aws_priority_queue_top_harness.c:aws_add_u64_checked	0
aws_priority_queue_top_harness.c:aws_add_u64_saturating	0
aws_priority_queue_top_harness.c:aws_mul_u32_checked	0
aws_priority_queue_top_harness.c:aws_mul_u32_saturating	0
aws_priority_queue_top_harness.c:aws_mul_u64_checked	0
aws_priority_queue_top_harness.c:aws_mul_u64_saturating	0
aws_ring_buffer_clean_up_harness.c:aws_add_u32_checked	0
aws_ring_buffer_clean_up_harness.c:aws_add_u32_saturating	0
aws_ring_buffer_clean_up_harness.c:aws_add_u64_checked	0
aws_ring_buffer_clean_up_harness.c:aws_add_u64_saturating	0
aws_ring_buffer_clean_up_harness.c:aws_mul_u32_checked	0
aws_ring_buffer_clean_up_harness.c:aws_mul_u32_saturating	0
aws_ring_buffer_clean_up_harness.c:aws_mul_u64_checked	0
aws_ring_buffer_clean_up_harness.c:aws_mul_u64_saturating	0
aws_ring_buffer_init_harness.c:aws_add_u32_checked	0
aws_ring_buffer_init_harness.c:aws_add_u32_saturating	0
aws_ring_buffer_init_harness.c:aws_add_u64_checked	0
aws_ring_buffer_init_harness.c:aws_add_u64_saturating	0
aws_ring_buffer_init_harness.c:aws_mul_u32_checked	0
aws_ring_buffer_init_harness.c:aws_mul_u32_saturating	0
aws_ring_buffer_init_harness.c:aws_mul_u64_checked	0
aws_ring_buffer_init_harness.c:aws_mul_u64_saturating	0
aws_string_bytes_harness.c:aws_add_u32_checked	0
aws_string_bytes_harness.c:aws_add_u32_saturating	0
aws_string_bytes_harness.c:aws_add_u64_checked	0
aws_string_bytes_harness.c:aws_add_u64_saturating	0
aws_string_bytes_harness.c:aws_mul_u32_checked	0
aws_string_bytes_harness.c:aws_mul_u32_saturating	0
aws_string_bytes_harness.c:aws_mul_u64_checked	0
aws_string_bytes_harness.c:aws_mul_u64_saturating	0
aws_string_compare_harness.c:aws_add_u32_checked	0
aws_string_compare_harness.c:aws_add_u32_saturating	0
aws_string_compare_harness.c:aws_add_u64_checked	0
aws_string_compare_harness.c:aws_add_u64_saturating	0
aws_string_compare_harness.c:aws_mul_u32_checked	0
aws_string_compare_harness.c:aws_mul_u32_saturating	0
aws_string_compare_harness.c:aws_mul_u64_checked	0
aws_string_compare_harness.c:aws_mul_u64_saturating	0
aws_string_destroy_harness.c:aws_add_u32_checked	0
aws_string_destroy_harness.c:aws_add_u32_saturating	0
aws_string_destroy_harness.c:aws_add_u64_checked	0
aws_string_destroy_harness.c:aws_add_u64_saturating	0
aws_string_destroy_harness.c:aws_mul_u32_checked	0
aws_string_destroy_harness.c:aws_mul_u32_saturating	0
aws_string_destroy_harness.c:aws_mul_u64_checked	0
aws_string_destroy_harness.c:aws_mul_u64_saturating	0
aws_string_destroy_secure_harness.c:aws_add_u32_checked	0
aws_string_destroy_secure_harness.c:aws_add_u32_saturating	0
aws_string_destroy_secure_harness.c:aws_add_u64_checked	0
aws_string_destroy_secure_harness.c:aws_add_u64_saturating	0
aws_string_destroy_secure_harness.c:aws_mul_u32_checked	0
aws_string_destroy_secure_harness.c:aws_mul_u32_saturating	0
aws_string_destroy_secure_harness.c:aws_mul_u64_checked	0
aws_string_destroy_secure_harness.c:aws_mul_u64_saturating	0
aws_string_eq_byte_buf_harness.c:aws_add_u32_checked	0
aws_string_eq_byte_buf_harness.c:aws_add_u32_saturating	0
aws_string_eq_byte_buf_harness.c:aws_add_u64_checked	0
aws_string_eq_byte_buf_harness.c:aws_add_u64_saturating	0
aws_string_eq_byte_buf_harness.c:aws_mul_u32_checked	0
aws_string_eq_byte_buf_harness.c:aws_mul_u32_saturating	0
aws_string_eq_byte_buf_harness.c:aws_mul_u64_checked	0
aws_string_eq_byte_buf_harness.c:aws_mul_u64_saturating	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_add_u32_checked	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_add_u32_saturating	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_add_u64_checked	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_add_u64_saturating	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_mul_u32_checked	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_mul_u64_checked	0
aws_string_eq_byte_buf_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_string_eq_byte_cursor_harness.c:aws_add_u32_checked	0
aws_string_eq_byte_cursor_harness.c:aws_add_u32_saturating	0
aws_string_eq_byte_cursor_harness.c:aws_add_u64_checked	0
aws_string_eq_byte_cursor_harness.c:aws_add_u64_saturating	0
aws_string_eq_byte_cursor_harness.c:aws_mul_u32_checked	0
aws_string_eq_byte_cursor_harness.c:aws_mul_u32_saturating	0
aws_string_eq_byte_cursor_harness.c:aws_mul_u64_checked	0
aws_string_eq_byte_cursor_harness.c:aws_mul_u64_saturating	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_add_u32_checked	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_add_u32_saturating	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_add_u64_checked	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_add_u64_saturating	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_mul_u32_checked	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_mul_u64_checked	0
aws_string_eq_byte_cursor_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_string_eq_c_str_harness.c:aws_add_u32_checked	0
aws_string_eq_c_str_harness.c:aws_add_u32_saturating	0
aws_string_eq_c_str_harness.c:aws_add_u64_checked	0
aws_string_eq_c_str_harness.c:aws_add_u64_saturating	0
aws_string_eq_c_str_harness.c:aws_mul_u32_checked	0
aws_string_eq_c_str_harness.c:aws_mul_u32_saturating	0
aws_string_eq_c_str_harness.c:aws_mul_u64_checked	0
aws_string_eq_c_str_harness.c:aws_mul_u64_saturating	0
aws_string_eq_c_str_ignore_case_harness.c:aws_add_u32_checked	0
aws_string_eq_c_str_ignore_case_harness.c:aws_add_u32_saturating	0
aws_string_eq_c_str_ignore_case_harness.c:aws_add_u64_checked	0
aws_string_eq_c_str_ignore_case_harness.c:aws_add_u64_saturating	0
aws_string_eq_c_str_ignore_case_harness.c:aws_mul_u32_checked	0
aws_string_eq_c_str_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_string_eq_c_str_ignore_case_harness.c:aws_mul_u64_checked	0
aws_string_eq_c_str_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_string_eq_harness.c:aws_add_u32_checked	0
aws_string_eq_harness.c:aws_add_u32_saturating	0
aws_string_eq_harness.c:aws_add_u64_checked	0
aws_string_eq_harness.c:aws_add_u64_saturating	0
aws_string_eq_harness.c:aws_mul_u32_checked	0
aws_string_eq_harness.c:aws_mul_u32_saturating	0
aws_string_eq_harness.c:aws_mul_u64_checked	0
aws_string_eq_harness.c:aws_mul_u64_saturating	0
aws_string_eq_ignore_case_harness.c:aws_add_u32_checked	0
aws_string_eq_ignore_case_harness.c:aws_add_u32_saturating	0
aws_string_eq_ignore_case_harness.c:aws_add_u64_checked	0
aws_string_eq_ignore_case_harness.c:aws_add_u64_saturating	0
aws_string_eq_ignore_case_harness.c:aws_mul_u32_checked	0
aws_string_eq_ignore_case_harness.c:aws_mul_u32_saturating	0
aws_string_eq_ignore_case_harness.c:aws_mul_u64_checked	0
aws_string_eq_ignore_case_harness.c:aws_mul_u64_saturating	0
aws_string_new_from_array_harness.c:aws_add_u32_checked	0
aws_string_new_from_array_harness.c:aws_add_u32_saturating	0
aws_string_new_from_array_harness.c:aws_add_u64_checked	0
aws_string_new_from_array_harness.c:aws_add_u64_saturating	0
aws_string_new_from_array_harness.c:aws_mul_u32_checked	0
aws_string_new_from_array_harness.c:aws_mul_u32_saturating	0
aws_string_new_from_array_harness.c:aws_mul_u64_checked	0
aws_string_new_from_array_harness.c:aws_mul_u64_saturating	0
aws_string_new_from_c_str_harness.c:aws_add_u32_checked	0
aws_string_new_from_c_str_harness.c:aws_add_u32_saturating	0
aws_string_new_from_c_str_harness.c:aws_add_u64_checked	0
aws_string_new_from_c_str_harness.c:aws_add_u64_saturating	0
aws_string_new_from_c_str_harness.c:aws_mul_u32_checked	0
aws_string_new_from_c_str_harness.c:aws_mul_u32_saturating	0
aws_string_new_from_c_str_harness.c:aws_mul_u64_checked	0
aws_string_new_from_c_str_harness.c:aws_mul_u64_saturating	0
aws_string_new_from_string_harness.c:aws_add_u32_checked	0
aws_string_new_from_string_harness.c:aws_add_u32_saturating	0
aws_string_new_from_string_harness.c:aws_add_u64_checked	0
aws_string_new_from_string_harness.c:aws_add_u64_saturating	0
aws_string_new_from_string_harness.c:aws_mul_u32_checked	0
aws_string_new_from_string_harness.c:aws_mul_u32_saturating	0
aws_string_new_from_string_harness.c:aws_mul_u64_checked	0
aws_string_new_from_string_harness.c:aws_mul_u64_saturating	0
byte_buf.c:aws_add_u32_checked	0
byte_buf.c:aws_add_u32_saturating	0
byte_buf.c:aws_mul_u32_checked	0
byte_buf.c:aws_mul_u32_saturating	0
byte_buf.c:aws_mul_u64_checked	0
byte_buf.c:aws_mul_u64_saturating	0
clock.c:aws_add_u32_checked	0
clock.c:aws_add_u32_saturating	0
clock.c:aws_add_u64_checked	0
clock.c:aws_add_u64_saturating	0
clock.c:aws_mul_u32_checked	0
clock.c:aws_mul_u32_saturating	0
clock.c:aws_mul_u64_checked	0
clock.c:aws_mul_u64_saturating	0
common.c:aws_add_u32_checked	0
common.c:aws_add_u32_saturating	0
common.c:aws_add_u64_checked	0
common.c:aws_add_u64_saturating	0
common.c:aws_mul_u32_checked	0
common.c:aws_mul_u32_saturating	0
common.c:aws_mul_u64_checked	0
common.c:aws_mul_u64_saturating	0
condition_variable.c:aws_add_u32_checked	0
condition_variable.c:aws_add_u32_saturating	0
condition_variable.c:aws_add_u64_checked	0
condition_variable.c:aws_add_u64_saturating	0
condition_variable.c:aws_mul_u32_checked	0
condition_variable.c:aws_mul_u32_saturating	0
condition_variable.c:aws_mul_u64_checked	0
condition_variable.c:aws_mul_u64_saturating	0
date_time.c:aws_add_u32_checked	0
date_time.c:aws_add_u32_saturating	0
date_time.c:aws_add_u64_checked	0
date_time.c:aws_add_u64_saturating	0
date_time.c:aws_mul_u32_checked	0
date_time.c:aws_mul_u32_saturating	0
date_time.c:aws_mul_u64_checked	0
date_time.c:aws_mul_u64_saturating	0
fuzz_array_list_helper.c:aws_add_u32_checked	0
fuzz_array_list_helper.c:aws_add_u32_saturating	0
fuzz_array_list_helper.c:aws_add_u64_checked	0
fuzz_array_list_helper.c:aws_add_u64_saturating	0
fuzz_array_list_helper.c:aws_mul_u32_checked	0
fuzz_array_list_helper.c:aws_mul_u32_saturating	0
fuzz_array_list_helper.c:aws_mul_u64_checked	0
fuzz_array_list_helper.c:aws_mul_u64_saturating	0
fuzz_byte_buf_helper.c:aws_add_u32_checked	0
fuzz_byte_buf_helper.c:aws_add_u32_saturating	0
fuzz_byte_buf_helper.c:aws_add_u64_checked	0
fuzz_byte_buf_helper.c:aws_add_u64_saturating	0
fuzz_byte_buf_helper.c:aws_mul_u32_checked	0
fuzz_byte_buf_helper.c:aws_mul_u32_saturating	0
fuzz_byte_buf_helper.c:aws_mul_u64_checked	0
fuzz_byte_buf_helper.c:aws_mul_u64_saturating	0
fuzz_hash_table_helper.c:aws_add_u32_checked	0
fuzz_hash_table_helper.c:aws_add_u32_saturating	0
fuzz_hash_table_helper.c:aws_add_u64_checked	0
fuzz_hash_table_helper.c:aws_add_u64_saturating	0
fuzz_hash_table_helper.c:aws_mul_u32_checked	0
fuzz_hash_table_helper.c:aws_mul_u32_saturating	0
fuzz_hash_table_helper.c:aws_mul_u64_checked	0
fuzz_hash_table_helper.c:aws_mul_u64_saturating	0
fuzz_priority_queue_helper.c:aws_add_u32_checked	0
fuzz_priority_queue_helper.c:aws_add_u32_saturating	0
fuzz_priority_queue_helper.c:aws_add_u64_checked	0
fuzz_priority_queue_helper.c:aws_add_u64_saturating	0
fuzz_priority_queue_helper.c:aws_mul_u32_checked	0
fuzz_priority_queue_helper.c:aws_mul_u32_saturating	0
fuzz_priority_queue_helper.c:aws_mul_u64_checked	0
fuzz_priority_queue_helper.c:aws_mul_u64_saturating	0
fuzz_ring_buffer_helper.c:aws_add_u32_checked	0
fuzz_ring_buffer_helper.c:aws_add_u32_saturating	0
fuzz_ring_buffer_helper.c:aws_add_u64_checked	0
fuzz_ring_buffer_helper.c:aws_add_u64_saturating	0
fuzz_ring_buffer_helper.c:aws_mul_u32_checked	0
fuzz_ring_buffer_helper.c:aws_mul_u32_saturating	0
fuzz_ring_buffer_helper.c:aws_mul_u64_checked	0
fuzz_ring_buffer_helper.c:aws_mul_u64_saturating	0
fuzz_string_helper.c:aws_add_u32_checked	0
fuzz_string_helper.c:aws_add_u32_saturating	0
fuzz_string_helper.c:aws_add_u64_checked	0
fuzz_string_helper.c:aws_add_u64_saturating	0
fuzz_string_helper.c:aws_mul_u32_checked	0
fuzz_string_helper.c:aws_mul_u32_saturating	0
fuzz_string_helper.c:aws_mul_u64_checked	0
fuzz_string_helper.c:aws_mul_u64_saturating	0
hash_table.c:aws_add_u32_checked	0
hash_table.c:aws_add_u32_saturating	0
hash_table.c:aws_add_u64_saturating	0
hash_table.c:aws_mul_u32_checked	0
hash_table.c:aws_mul_u32_saturating	0
hash_table.c:aws_mul_u64_saturating	0
log_channel.c:aws_add_u32_checked	0
log_channel.c:aws_add_u32_saturating	0
log_channel.c:aws_add_u64_checked	0
log_channel.c:aws_add_u64_saturating	0
log_channel.c:aws_mul_u32_checked	0
log_channel.c:aws_mul_u32_saturating	0
log_channel.c:aws_mul_u64_checked	0
log_channel.c:aws_mul_u64_saturating	0
log_formatter.c:aws_add_u32_checked	0
log_formatter.c:aws_add_u32_saturating	0
log_formatter.c:aws_add_u64_checked	0
log_formatter.c:aws_add_u64_saturating	0
log_formatter.c:aws_mul_u32_checked	0
log_formatter.c:aws_mul_u32_saturating	0
log_formatter.c:aws_mul_u64_checked	0
log_formatter.c:aws_mul_u64_saturating	0
log_writer.c:aws_add_u32_checked	0
log_writer.c:aws_add_u32_saturating	0
log_writer.c:aws_add_u64_checked	0
log_writer.c:aws_add_u64_saturating	0
log_writer.c:aws_mul_u32_checked	0
log_writer.c:aws_mul_u32_saturating	0
log_writer.c:aws_mul_u64_checked	0
log_writer.c:aws_mul_u64_saturating	0
logging.c:aws_add_u32_checked	0
logging.c:aws_add_u32_saturating	0
logging.c:aws_add_u64_checked	0
logging.c:aws_add_u64_saturating	0
logging.c:aws_mul_u32_checked	0
logging.c:aws_mul_u32_saturating	0
logging.c:aws_mul_u64_checked	0
logging.c:aws_mul_u64_saturating	0
priority_queue.c:aws_add_u32_checked	0
priority_queue.c:aws_add_u32_saturating	0
priority_queue.c:aws_add_u64_checked	0
priority_queue.c:aws_add_u64_saturating	0
priority_queue.c:aws_mul_u32_checked	0
priority_queue.c:aws_mul_u32_saturating	0
priority_queue.c:aws_mul_u64_saturating	0
ring_buffer.c:aws_add_u32_checked	0
ring_buffer.c:aws_add_u32_saturating	0
ring_buffer.c:aws_add_u64_checked	0
ring_buffer.c:aws_add_u64_saturating	0
ring_buffer.c:aws_mul_u32_checked	0
ring_buffer.c:aws_mul_u32_saturating	0
ring_buffer.c:aws_mul_u64_checked	0
ring_buffer.c:aws_mul_u64_saturating	0
string.c:aws_add_u32_checked	0
string.c:aws_add_u32_saturating	0
string.c:aws_add_u64_saturating	0
string.c:aws_mul_u32_checked	0
string.c:aws_mul_u32_saturating	0
string.c:aws_mul_u64_checked	0
string.c:aws_mul_u64_saturating	0
system_info.c:aws_add_u32_checked	0
system_info.c:aws_add_u32_saturating	0
system_info.c:aws_add_u64_checked	0
system_info.c:aws_add_u64_saturating	0
system_info.c:aws_mul_u32_checked	0
system_info.c:aws_mul_u32_saturating	0
system_info.c:aws_mul_u64_checked	0
system_info.c:aws_mul_u64_saturating	0
thread.c:aws_add_u32_checked	0
thread.c:aws_add_u32_saturating	0
thread.c:aws_add_u64_checked	0
thread.c:aws_add_u64_saturating	0
thread.c:aws_mul_u32_checked	0
thread.c:aws_mul_u32_saturating	0
thread.c:aws_mul_u64_checked	0
thread.c:aws_mul_u64_saturating	0
thread_shared.c:aws_add_u32_checked	0
thread_shared.c:aws_add_u32_saturating	0
thread_shared.c:aws_add_u64_checked	0
thread_shared.c:aws_add_u64_saturating	0
thread_shared.c:aws_mul_u32_checked	0
thread_shared.c:aws_mul_u32_saturating	0
thread_shared.c:aws_mul_u64_checked	0
thread_shared.c:aws_mul_u64_saturating	0
utils.c:aws_add_u32_checked	0
utils.c:aws_add_u32_saturating	0
utils.c:aws_add_u64_checked	0
utils.c:aws_add_u64_saturating	0
utils.c:aws_mul_u32_checked	0
utils.c:aws_mul_u32_saturating	0
utils.c:aws_mul_u64_checked	0
utils.c:aws_mul_u64_saturating	0
aws_priority_queue_init_dynamic_harness.c:aws_mul_u64_checked	792
aws_array_list_init_dynamic_harness.c:aws_mul_u64_checked	1456
aws_array_list_set_at_harness.c:aws_add_u64_checked	8383
aws_mul_size_checked_harness.c:aws_mul_u32_checked	13408
aws_mul_size_saturating_harness.c:aws_mul_u32_saturating	13834
aws_priority_queue_init_static_harness.c:aws_mul_u64_checked	19671
aws_array_list_push_back_harness.c:aws_add_u64_checked	22615
aws_mul_size_saturating_harness.c:aws_mul_u64_saturating	29431
aws_mul_size_checked_harness.c:aws_mul_u64_checked	30228
aws_array_list_init_static_harness.c:aws_mul_u64_checked	34611
aws_add_size_checked_harness.c:aws_add_u32_checked	35868
aws_add_size_saturating_harness.c:aws_add_u32_saturating	39397
array_list.c:aws_add_u64_checked	56250
byte_buf.c:aws_add_u64_saturating	81166
aws_add_size_saturating_harness.c:aws_add_u64_saturating	93363
aws_add_size_checked_harness.c:aws_add_u64_checked	95884
aws_array_list_clean_up_harness.c:aws_mul_u64_checked	123245
allocator.c:aws_mul_u64_checked	148439
aws_array_list_swap_harness.c:aws_mul_u64_checked	152015
aws_array_list_ensure_capacity_harness.c:aws_mul_u64_checked	163432
aws_array_list_set_at_harness.c:aws_mul_u64_checked	181937
aws_array_list_shrink_to_fit_harness.c:aws_mul_u64_checked	184501
aws_array_list_length_harness.c:aws_mul_u64_checked	187074
aws_array_list_push_back_harness.c:aws_mul_u64_checked	188292
aws_array_list_capacity_harness.c:aws_mul_u64_checked	189917
aws_array_list_pop_front_harness.c:aws_mul_u64_checked	192610
aws_array_list_pop_back_harness.c:aws_mul_u64_checked	192798
aws_array_list_sort_harness.c:aws_mul_u64_checked	194735
aws_array_list_erase_harness.c:aws_mul_u64_checked	201995
aws_array_list_pop_front_n_harness.c:aws_mul_u64_checked	206199
aws_array_list_front_harness.c:aws_mul_u64_checked	224658
aws_array_list_get_at_harness.c:aws_mul_u64_checked	245502
aws_array_list_clear_harness.c:aws_mul_u64_checked	246838
byte_buf.c:aws_add_u64_checked	247442
aws_array_list_back_harness.c:aws_mul_u64_checked	250249
aws_array_list_get_at_ptr_harness.c:aws_mul_u64_checked	253722
string.c:aws_add_u64_checked	284938
aws_array_list_swap_contents_harness.c:aws_mul_u64_checked	308138
aws_array_list_copy_harness.c:aws_mul_u64_checked	321368
array_list.c:aws_mul_u64_checked	748534
priority_queue.c:aws_mul_u64_checked	831332
hash_table.c:aws_add_u64_checked	2332051
hash_table.c:aws_mul_u64_checked	2332051

Generated by: LCOV version 1.13