bug: const ptr offset overflow — prusti-20260309-120329-3db661888.db

File
alloc_boxed_convert_doctest_121.rs
alloc_boxed_convert_doctest_163.rs
alloc_boxed_convert_doctest_207.rs
alloc_boxed_convert_doctest_215.rs
alloc_boxed_convert_doctest_264.rs
alloc_boxed_doctest_26.rs
alloc_collections_binary_heap_mod_doctest_1311.rs
alloc_collections_binary_heap_mod_doctest_1916.rs
alloc_collections_binary_heap_mod_doctest_699.rs
alloc_collections_binary_heap_mod_doctest_924.rs
alloc_collections_linked_list_doctest_1153.rs
alloc_collections_vec_deque_mod_doctest_1274.rs
alloc_collections_vec_deque_mod_doctest_2466.rs
alloc_collections_vec_deque_mod_doctest_2648.rs
alloc_collections_vec_deque_mod_doctest_2691.rs
alloc_collections_vec_deque_mod_doctest_2777.rs
alloc_collections_vec_deque_mod_doctest_2937.rs
alloc_fmt_doctest_116.rs
alloc_fmt_doctest_183.rs
alloc_fmt_doctest_252.rs
alloc_fmt_doctest_281.rs
alloc_fmt_doctest_322.rs
alloc_rc_doctest_91.rs
alloc_slice_doctest_116.rs
alloc_slice_doctest_174.rs
alloc_slice_doctest_232.rs
alloc_slice_doctest_296.rs
alloc_slice_doctest_567.rs
alloc_slice_doctest_585.rs
alloc_slice_doctest_604.rs
alloc_str_doctest_548.rs
alloc_str_doctest_580.rs
alloc_string_doctest_1543.rs
alloc_string_doctest_298.rs
alloc_string_doctest_3119.rs
alloc_string_doctest_3163.rs
alloc_string_doctest_3206.rs
alloc_string_doctest_324.rs
alloc_string_doctest_748.rs
alloc_string_doctest_816.rs
alloc_string_doctest_891.rs
alloc_vec_mod_doctest_212.rs
alloc_vec_mod_doctest_227.rs
core_any_doctest_847.rs
core_array_mod_doctest_43.rs
core_array_mod_doctest_605.rs
core_array_mod_doctest_646.rs
core_array_mod_doctest_69.rs
core_array_mod_doctest_761.rs
core_array_mod_doctest_99.rs
core_char_methods_doctest_1055.rs
core_char_methods_doctest_1122.rs
core_char_methods_doctest_445.rs
core_char_methods_doctest_510.rs
core_char_methods_doctest_566.rs
core_cmp_doctest_1721.rs
core_error_doctest_123.rs
core_error_doctest_14.rs
core_fmt_mod_doctest_1286.rs
core_fmt_mod_doctest_2204.rs
core_fmt_mod_doctest_2371.rs
core_hash_mod_doctest_191.rs
core_hash_mod_doctest_220.rs
core_hash_mod_doctest_341.rs
core_iter_mod_doctest_329.rs
core_iter_sources_from_fn_doctest_28.rs
core_iter_traits_double_ended_doctest_287.rs
core_iter_traits_iterator_doctest_149.rs
core_iter_traits_iterator_doctest_1537.rs
core_iter_traits_iterator_doctest_160.rs
core_iter_traits_iterator_doctest_1638.rs
core_iter_traits_iterator_doctest_1796.rs
core_iter_traits_iterator_doctest_2557.rs
core_iter_traits_iterator_doctest_4012.rs
core_iter_traits_iterator_doctest_697.rs
core_iter_traits_iterator_doctest_757.rs
core_macros_mod_doctest_1041.rs
core_macros_mod_doctest_1088.rs
core_macros_mod_doctest_1164.rs
core_macros_mod_doctest_1191.rs
core_macros_mod_doctest_1241.rs
core_macros_mod_doctest_31.rs
core_marker_doctest_299.rs
core_mem_drop_guard_doctest_76.rs
core_mem_mod_doctest_944.rs
core_net_parser_doctest_409.rs
core_num_dec2flt_mod_doctest_202.rs
core_num_error_doctest_58.rs
core_num_error_doctest_73.rs
core_ops_arith_doctest_1010.rs
core_ops_arith_doctest_543.rs
core_ops_function_doctest_204.rs
core_ops_mod_doctest_115.rs
core_ops_range_doctest_176.rs
core_ops_range_doctest_256.rs
core_ops_range_doctest_28.rs
core_ops_range_doctest_332.rs
core_ops_range_doctest_577.rs
core_ops_range_doctest_67.rs
core_option_doctest_2012.rs
core_option_doctest_2305.rs
core_option_doctest_2731.rs
core_option_doctest_410.rs
core_option_doctest_424.rs
core_option_doctest_526.rs
core_option_doctest_636.rs
core_option_doctest_685.rs
core_option_doctest_727.rs
core_pin_doctest_1470.rs
core_ptr_mut_ptr_doctest_268.rs
core_ptr_mut_ptr_doctest_317.rs
core_ptr_mut_ptr_doctest_359.rs
core_ptr_non_null_doctest_425.rs
core_ptr_non_null_doctest_559.rs
core_ptr_non_null_doctest_635.rs
core_ptr_non_null_doctest_712.rs
core_range_doctest_6.rs
core_result_doctest_1309.rs
core_result_doctest_1338.rs
core_result_doctest_1375.rs
core_result_doctest_1414.rs
core_result_doctest_1665.rs
core_result_doctest_593.rs
core_slice_index_doctest_891.rs
core_slice_iter_doctest_289.rs
core_slice_mod_doctest_1314.rs
core_slice_mod_doctest_1472.rs
core_slice_mod_doctest_1832.rs
core_slice_mod_doctest_1845.rs
core_slice_mod_doctest_2345.rs
core_slice_mod_doctest_3084.rs
core_slice_mod_doctest_3136.rs
core_slice_mod_doctest_3191.rs
core_slice_mod_doctest_3419.rs
core_slice_mod_doctest_3453.rs
core_slice_mod_doctest_3579.rs
core_slice_mod_doctest_3618.rs
core_slice_mod_doctest_3664.rs
core_slice_mod_doctest_4347.rs
core_slice_mod_doctest_4861.rs
core_slice_mod_doctest_4965.rs
core_slice_mod_doctest_892.rs
core_slice_mod_doctest_931.rs
core_str_mod_doctest_1566.rs
core_str_mod_doctest_1593.rs
core_str_mod_doctest_1602.rs
core_str_mod_doctest_1652.rs
core_str_mod_doctest_1662.rs
core_str_mod_doctest_1702.rs
core_str_mod_doctest_1718.rs
core_str_mod_doctest_1761.rs
core_str_mod_doctest_1807.rs
core_str_mod_doctest_1852.rs
core_str_mod_doctest_1868.rs
core_str_mod_doctest_1904.rs
core_str_mod_doctest_1917.rs
core_str_mod_doctest_2067.rs
core_str_mod_doctest_2107.rs
core_str_mod_doctest_2928.rs
core_str_mod_doctest_2974.rs
core_str_mod_doctest_3012.rs
core_str_mod_doctest_3025.rs
core_str_mod_doctest_740.rs
core_time_doctest_1471.rs