diff options
| author | Robert Norton <1412774+rmn30@users.noreply.github.com> | 2023-03-06 18:18:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-06 19:18:33 +0100 |
| commit | 071f4c79171efa3721e598809e3aadfc8c3478c7 (patch) | |
| tree | a564d4952fc3c9b253be658d68f03d6a2f48d145 /.github | |
| parent | 5d0ed1b5cd70b7f53d5d24380507e51b603a71ed (diff) | |
| download | sail-riscv-071f4c79171efa3721e598809e3aadfc8c3478c7.zip sail-riscv-071f4c79171efa3721e598809e3aadfc8c3478c7.tar.gz sail-riscv-071f4c79171efa3721e598809e3aadfc8c3478c7.tar.bz2 | |
Add wildcard cases to matches to suppress Sail warnings. (#197)
Sail tries to check for pattern match completeness and issues warnings
but this often gives false positives: see discussion at
https://github.com/rems-project/sail/issues/191 . To suppress these
we add a wildcard case that raises an internal error. There is
effectively no behaviour change as these would previously have
resulted in a match error at runtime and they should be unreachable
anyway.
At the same time we change the DOUBLE case in memory access paths to
allow for xlen > 64.
Following discussion on the PR I also changed internal_error to take a
file and line number as an argument to aid with debugging.
Fixes: https://github.com/riscv/sail-riscv/issues/194
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions