Fix provenance-ABA in lockless queues using fuzzy provenance #118026
Annotations
10 errors and 10 warnings
|
run the build
this file contains an unclosed delimiter
|
|
run the build
this file contains an unclosed delimiter
|
|
run the build
unexpected closing delimiter: `}`
|
|
run the build
unexpected closing delimiter: `}`
|
|
run the build
lifetimes cannot start with a number
|
|
run the build
missing type for `static` item
|
|
run the build
mismatched closing delimiter: `}`
|
|
run the build
unexpected `if` in the condition expression
|
|
run the build
unsupported operation: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
|
|
run the build
unsupported operation: integer-to-pointer casts and `ptr::from_exposed_addr` are not supported with `-Zmiri-strict-provenance`
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
|
run the build
integer-to-pointer cast
|
Loading