bug: const ptr offset overflow — prusti-20260320-162729-4ee0f8d94.db

File
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_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_3119.rs
alloc_string_doctest_3163.rs
alloc_string_doctest_748.rs
alloc_string_doctest_816.rs
alloc_string_doctest_891.rs
alloc_vec_mod_doctest_212.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_cmp_doctest_1721.rs
core_error_doctest_14.rs
core_fmt_mod_doctest_2204.rs
core_fmt_mod_doctest_2371.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_2557.rs
core_iter_traits_iterator_doctest_4012.rs
core_iter_traits_iterator_doctest_697.rs
core_macros_mod_doctest_467.rs
core_mem_drop_guard_doctest_76.rs
core_net_parser_doctest_409.rs
core_ops_arith_doctest_543.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_2731.rs
core_option_doctest_410.rs
core_range_doctest_6.rs
core_result_doctest_1309.rs
core_result_doctest_138.rs
core_result_doctest_1414.rs
core_result_doctest_1665.rs
core_slice_index_doctest_891.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_740.rs