unsupported (pcg): dereferencing unsafe pointers

Database: prusti-20260320-162729-4ee0f8d94.db

47 file(s) affected

File
alloc_alloc_doctest_153.rs
alloc_alloc_doctest_69.rs
alloc_rc_doctest_1332.rs
alloc_rc_doctest_1442.rs
alloc_rc_doctest_3151.rs
alloc_rc_doctest_3235.rs
alloc_sync_doctest_1477.rs
alloc_sync_doctest_1592.rs
alloc_sync_doctest_2878.rs
alloc_sync_doctest_2962.rs
alloc_vec_mod_doctest_1795.rs
core_cell_doctest_2109.rs
core_cell_doctest_2121.rs
core_cell_doctest_2138.rs
core_hint_doctest_149.rs
core_intrinsics_mod_doctest_692.rs
core_intrinsics_mod_doctest_704.rs
core_marker_doctest_1293.rs
core_mem_maybe_uninit_doctest_163.rs
core_mem_maybe_uninit_doctest_808.rs
core_mem_mod_doctest_1154.rs
core_ptr_const_ptr_doctest_1328.rs
core_ptr_const_ptr_doctest_293.rs
core_ptr_const_ptr_doctest_427.rs
core_ptr_const_ptr_doctest_910.rs
core_ptr_const_ptr_doctest_973.rs
core_ptr_mod_doctest_1144.rs
core_ptr_mod_doctest_1186.rs
core_ptr_mod_doctest_2696.rs
core_ptr_mut_ptr_doctest_1066.rs
core_ptr_mut_ptr_doctest_1176.rs
core_ptr_mut_ptr_doctest_1252.rs
core_ptr_mut_ptr_doctest_1580.rs
core_ptr_mut_ptr_doctest_2026.rs
core_ptr_mut_ptr_doctest_284.rs
core_ptr_mut_ptr_doctest_425.rs
core_ptr_mut_ptr_doctest_493.rs
core_ptr_mut_ptr_doctest_618.rs
core_ptr_non_null_doctest_383.rs
core_slice_mod_doctest_738.rs
core_sync_atomic_doctest_1494.rs
core_sync_atomic_doctest_1544.rs
core_sync_atomic_doctest_1563.rs
core_sync_atomic_doctest_1669.rs
core_sync_atomic_doctest_2658.rs
core_sync_atomic_doctest_4408.rs
core_sync_atomic_doctest_536.rs