diff options
| author | Palmer Dabbelt <palmer@rivosinc.com> | 2022-04-01 22:00:39 -0700 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2022-06-05 22:07:23 +0200 |
| commit | b296539554213125eb8f61291c862eec190e4c9b (patch) | |
| tree | e61ded885dc846c6dc20a8331a20cc127f326024 /validation/inline-early | |
| parent | dcb3887d85c10c96cc56d2715bf21566e3c31d9b (diff) | |
| download | sparse-dev-b296539554213125eb8f61291c862eec190e4c9b.tar.gz | |
RISC-V: Remove "g" from the extension list
"g" goes along with the base ISA, but it was being treated as an
extension. This allows for all sorts of odd ISA strings to be accepted
by sparse, things like "rv32ig" or "rv32gg". We're still allowing
some oddities, like "rv32ga", but this one was easy to catch.
Signed-off-by: Palmer Dabbelt <palmer@rivosinc.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/inline-early')
0 files changed, 0 insertions, 0 deletions