Have the alignment intrinsics return ptr::Alignment directly
#206095
Annotations
23 errors
|
PR - x86_64-gnu-miri
Process completed with exit code 1.
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <356> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <356> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <356> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <356> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <338> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <338> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <338> at alloc188[0x0] is forbidden
|
|
PR - x86_64-gnu-miri
Undefined Behavior: deallocation through <338> at alloc188[0x0] is forbidden
|
|
PR - pr-check-1
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - pr-check-1
The operation was canceled.
|
|
PR - aarch64-gnu-llvm-21-2
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - aarch64-gnu-llvm-21-2
The operation was canceled.
|
|
PR - pr-check-2
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - pr-check-2
The operation was canceled.
|
|
PR - x86_64-gnu-llvm-21
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - x86_64-gnu-llvm-21
The operation was canceled.
|
|
PR - aarch64-gnu-llvm-21-1
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - aarch64-gnu-llvm-21-1
The operation was canceled.
|
|
PR - x86_64-gnu-tools
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - x86_64-gnu-tools
The operation was canceled.
|
|
PR - x86_64-gnu-gcc
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - x86_64-gnu-gcc
The operation was canceled.
|