miri: improve errors for type validity assertion failures #165329
RalfJungci.yml
on: pull_request
Calculate job matrix
1m 18s
Matrix: job
bors build finished
0s
Annotations
15 errors and 22 warnings
|
PR - x86_64-gnu-miri
Process completed with exit code 1.
|
|
PR - x86_64-gnu-miri
Undefined Behavior: constructing invalid value at [3]: encountered uninitialized memory, but expected an integer
|
|
PR - x86_64-gnu-miri
there were 1 unmatched diagnostics
|
|
PR - x86_64-gnu-miri
`Undefined Behavior: constructing invalid value at .value[3]: encountered uninitialized memory, but expected an integer` not found in diagnostics on line 23
|
|
PR - x86_64-gnu-miri
Undefined Behavior: constructing invalid value at [3]: encountered uninitialized memory, but expected an integer
|
|
PR - aarch64-gnu-llvm-19-2
The operation was canceled.
|
|
PR - aarch64-gnu-llvm-19-2
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - mingw-check-2
The operation was canceled.
|
|
PR - aarch64-gnu-llvm-19-1
The operation was canceled.
|
|
PR - mingw-check-2
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - aarch64-gnu-llvm-19-1
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-tools
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - x86_64-gnu-llvm-19
The operation was canceled.
|
|
PR - x86_64-gnu-llvm-19
The strategy configuration was canceled because "job.x86_64-gnu-miri_PR_-_x86_" failed
|
|
PR - mingw-check-1
creating a mutable reference to mutable static
|
|
PR - mingw-check-1
creating a mutable reference to mutable static
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/bin/stack does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/bin/bicep does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/share/miniconda does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/share/gradle-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/share/edge_driver does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/share/chromium does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/share/chromedriver-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/lib/android does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/julia* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Saved space is negative: -4. Using '0' as saved space.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/bin/stack does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/bin/bicep does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/share/miniconda does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/share/gradle-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/share/edge_driver does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/share/chromium does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/share/chromedriver-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/lib/android does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/julia* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Saved space is negative: -4. Using '0' as saved space.
|