unsupported: constant pointer-to-pointers — prusti-20260309-175527-9eba9fcdc.db

File
alloc_collections_binary_heap_mod_doctest_656.rs
alloc_collections_linked_list_doctest_669.rs
alloc_collections_vec_deque_mod_doctest_1885.rs
alloc_collections_vec_deque_mod_doctest_1903.rs
alloc_collections_vec_deque_mod_doctest_1949.rs
alloc_collections_vec_deque_mod_doctest_680.rs
alloc_fmt_doctest_14.rs
alloc_fmt_doctest_177.rs
alloc_fmt_doctest_299.rs
alloc_fmt_doctest_332.rs
alloc_fmt_doctest_485.rs
alloc_fmt_doctest_528.rs
alloc_fmt_doctest_53.rs
alloc_fmt_doctest_623.rs
alloc_fmt_doctest_633.rs
alloc_fmt_doctest_81.rs
alloc_fmt_doctest_91.rs
alloc_macros_doctest_93.rs
alloc_rc_doctest_2290.rs
alloc_rc_doctest_3465.rs
alloc_sync_doctest_2620.rs
alloc_sync_doctest_3279.rs
alloc_vec_mod_doctest_770.rs
core_cell_once_doctest_108.rs
core_cell_once_doctest_255.rs
core_char_methods_doctest_1046.rs
core_char_methods_doctest_1061.rs
core_char_methods_doctest_1113.rs
core_char_methods_doctest_1128.rs
core_char_methods_doctest_436.rs
core_char_methods_doctest_451.rs
core_char_methods_doctest_501.rs
core_char_methods_doctest_516.rs
core_char_methods_doctest_557.rs
core_char_methods_doctest_572.rs
core_convert_mod_doctest_65.rs
core_error_doctest_796.rs
core_fmt_builders_doctest_107.rs
core_fmt_builders_doctest_1218.rs
core_fmt_builders_doctest_220.rs
core_fmt_builders_doctest_267.rs
core_fmt_builders_doctest_309.rs
core_fmt_builders_doctest_368.rs
core_fmt_builders_doctest_410.rs
core_fmt_builders_doctest_62.rs
core_fmt_mod_doctest_1051.rs
core_fmt_mod_doctest_1062.rs
core_fmt_mod_doctest_1105.rs
core_fmt_mod_doctest_1116.rs
core_fmt_mod_doctest_1165.rs
core_fmt_mod_doctest_1176.rs
core_fmt_mod_doctest_1220.rs
core_fmt_mod_doctest_1231.rs
core_fmt_mod_doctest_1278.rs
core_fmt_mod_doctest_1328.rs
core_fmt_mod_doctest_1336.rs
core_fmt_mod_doctest_1379.rs
core_fmt_mod_doctest_1387.rs
core_fmt_mod_doctest_1439.rs
core_fmt_mod_doctest_1589.rs
core_fmt_mod_doctest_196.rs
core_fmt_mod_doctest_49.rs
core_fmt_mod_doctest_606.rs
core_fmt_mod_doctest_771.rs
core_fmt_mod_doctest_788.rs
core_fmt_mod_doctest_842.rs
core_fmt_mod_doctest_912.rs
core_fmt_mod_doctest_971.rs
core_hint_doctest_487.rs
core_hint_doctest_619.rs
core_hint_doctest_669.rs
core_iter_traits_iterator_doctest_1006.rs
core_macros_mod_doctest_1551.rs
core_macros_mod_doctest_270.rs
core_macros_mod_doctest_682.rs
core_macros_mod_doctest_696.rs
core_macros_mod_doctest_759.rs
core_macros_mod_doctest_840.rs
core_macros_mod_doctest_87.rs
core_macros_mod_doctest_953.rs
core_macros_mod_doctest_972.rs
core_mem_maybe_uninit_doctest_448.rs
core_net_ip_addr_doctest_189.rs
core_ops_arith_doctest_239.rs
core_ops_arith_doctest_374.rs
core_ops_control_flow_doctest_144.rs
core_ops_control_flow_doctest_160.rs
core_ops_control_flow_doctest_177.rs
core_ops_drop_doctest_28.rs
core_ops_drop_doctest_95.rs
core_option_doctest_1320.rs
core_option_doctest_1346.rs
core_option_doctest_1373.rs
core_option_doctest_1422.rs
core_option_doctest_2035.rs
core_option_doctest_2062.rs
core_option_doctest_22.rs
core_option_doctest_57.rs
core_primitive_docs_doctest_34.rs
core_result_doctest_1083.rs
core_result_doctest_1817.rs
core_result_doctest_750.rs
core_slice_mod_doctest_142.rs
core_slice_mod_doctest_268.rs
core_slice_mod_doctest_312.rs
core_slice_mod_doctest_494.rs
core_slice_mod_doctest_558.rs
core_str_mod_doctest_2407.rs
core_str_mod_doctest_2435.rs
core_str_mod_doctest_2935.rs
core_str_mod_doctest_2981.rs
core_str_mod_doctest_3019.rs
core_str_mod_doctest_591.rs
core_sync_atomic_doctest_2525.rs