| Category | Count |
|---|
| unsupported: constant scalars that are not primitives | 715 |
| unsupported: unsizing with unsupported types (no crash) | 265 |
| unsupported: function shapes containing alias types (pcg) | 211 |
| bug: lifetime-annotated structs | 205 |
| bug: const ptr offset overflow | 148 |
| unsupported: recursive struct types | 138 |
| unsupported: constant pointer-to-pointers | 123 |
| unsupported: invalid uninitialized bytes in constants | 97 |
| bug: verification error could not be backtranslated (no crash) | 85 |
| unsupported (pcg): dereferencing unsafe pointers | 49 |
| unsupported: &raw mut/const rvalue might be reached (no crash) | 42 |
| bug: ReVar from outer InferCtxt in try_normalize | 36 |
| unsupported: closure rvalue might be reached (no crash) | 31 |
| unsupported: passing functions into other functions | 27 |
| bug: local variable not found in consistency check (no crash) | 26 |
| unsupported: coroutine types | 23 |
| unsupported: c string literals | 21 |
| unsupported: binary operation with one operand of pointer type | 17 |
| unsupported: indirect constant values | 16 |
| bug: duplicate identifier in consistency check (no crash) | 12 |
| bug: invalid arguments to domain function in consistency check (no crash) | 9 |
| not yet implemented: cast kind PtrToPtr | 9 |
| unsupported: bitwise operations | 7 |
| unsupported: implicit mut-to-const pointer coercions | 5 |
| not yet implemented: cast kind PointerCoercion(ClosureFnPointer(Safe), Implicit) | 4 |
| success | 4 |
| not yet implemented | 4 |
| bug: index out of bounds in GenericParams::map_index | 4 |
| internal error: entered unreachable code | 3 |
| not yet implemented: cast kind PointerExposeProvenance | 3 |
| unsupported (pcg): call with unsafe ptr with nested lifetime | 3 |
| bug: invalid identifier in consistency check (no crash) | 3 |
| cannot unfold array type without index | 3 |
| offending pos id is missing for error VerificationError { full_id: "application.precondition:insufficient.permission", pos_id: None, offending_pos_id: None, reason_pos_id: None, message: "Precondition of function p_Int_i32_snap might not hold. There might be insufficient permission to access p_Int_i32(s_Option_1_field_0(_1p, s_Int_i32_type())) (<no position>)\n", counterexample: None } | 2 |
| not yet implemented: cast kind PointerCoercion(ReifyFnPointer, Implicit) | 2 |
| unsupported (pcg): move unsafe ptr with nested lifetime | 2 |
| not yet implemented: cast kind PointerCoercion(ReifyFnPointer, AsCast) | 2 |
| not yet implemented: const too generic | 2 |
| PCG Assertion Failed : [main::debuginfo] capabilities.get(RETURN_PLACE.into(), ctxt).unwrap() == | 1 |
| not yet implemented: cast kind FloatToInt | 1 |
| expected structlike or enumlike type | 1 |
| PCG Assertion Failed : [main::set] capabilities.get(RETURN_PLACE.into(), ctxt).unwrap() == | 1 |
| not yet implemented: cast kind PointerWithExposedProvenance | 1 |
| Box<dyn Any> | 1 |
| offending pos id is missing for error VerificationError { full_id: "call.precondition:insufficient.permission", pos_id: None, offending_pos_id: None, reason_pos_id: None, message: "The precondition of method make_concrete_String might not hold. There might be insufficient permission to access p_Param(get_s_Ref_mutable_s_Ref_mutable_0(p_Ref_mutable_snap(_7p, s_String_type())), s_String_type()) (<no position>)\n", counterexample: None } | 1 |