Prusti Analysis — prusti-20260323-125921-08b08c532.db

Total: 3379  |  Success: 435  |  Fail: 2897  |  Timeout: 47

Failure categories

CategoryCount
unsupported: enum types in indirect predicate encoder980
unsupported: constant scalars that are not primitives547
unsupported: function shapes containing alias types (pcg)452
unsupported: unsizing with unsupported types (no crash)242
unsupported: recursive struct types132
bug: const ptr offset overflow80
unsupported: invalid uninitialized bytes in constants76
unsupported: constant pointer-to-pointers60
bug: ReVar from outer InferCtxt in try_normalize55
unsupported (pcg): dereferencing unsafe pointers45
unsupported: passing functions into other functions28
unsupported: &raw mut/const rvalue might be reached (no crash)22
unsupported: c string literals20
unsupported: coroutine types20
bug: verification error could not be backtranslated (no crash)20
unsupported: indirect constant values15
bug: local variable not found in consistency check (no crash)14
unsupported (pcg): call with unsafe ptr with nested lifetime13
unsupported: closure rvalue might be reached (no crash)10
unsupported: binary operation with one operand of pointer type9
bug: duplicate identifier in consistency check (no crash)7
unsupported: bitwise operations7
not yet implemented: cast kind PtrToPtr7
unsupported: implicit mut-to-const pointer coercions5
not yet implemented: cast kind PointerCoercion(ClosureFnPointer(Safe), Implicit)4
not yet implemented4
bug: index out of bounds in GenericParams::map_index3
not yet implemented: cast kind PointerExposeProvenance3
not yet implemented: const too generic2
success2
not yet implemented: cast kind PointerCoercion(ReifyFnPointer, Implicit)2
not yet implemented: cast kind PointerCoercion(ReifyFnPointer, AsCast)2
internal error: entered unreachable code2
bug: invalid identifier in consistency check (no crash)2
unsupported (pcg): move unsafe ptr with nested lifetime2
Box<dyn Any>1
expected structlike or enumlike type1
not yet implemented: cast kind FloatToInt1
cannot unfold array type without index1
not yet implemented: cast kind PointerWithExposedProvenance1