diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-13 14:33:06 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-13 14:33:06 +0200 |
| commit | 4ba1b9e4165cda40e06fca3b563b7561a6cffc70 (patch) | |
| tree | 5cac8d6d6c2d2852bc3d3b34a7d73a9f4f93d100 /backend | |
| parent | 7e8e3efdd69cee4412817f2e29f9ef687bec019b (diff) | |
| download | compcert-kvx-4ba1b9e4165cda40e06fca3b563b7561a6cffc70.tar.gz compcert-kvx-4ba1b9e4165cda40e06fca3b563b7561a6cffc70.zip | |
Handle the new warnings of OCaml 4.13
Warning 69 "mutable record field is never mutated":
3 occurrences in backend/IRC.ml
removed the "mutable" qualifier on these fields
Warning 70 "cannot find interface file"
many .ml files have no .mli
no strong motivation to add the .mli files
turned off the warning in Makefile.extr
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/IRC.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backend/IRC.ml b/backend/IRC.ml index ed5ae186..6f4bbe29 100644 --- a/backend/IRC.ml +++ b/backend/IRC.ml @@ -33,8 +33,8 @@ type node = { ident: int; (*r unique identifier *) typ: typ; (*r its type *) var: var; (*r the XTL variable it comes from *) - mutable regclass: int; (*r identifier of register class *) - mutable accesses: int; (*r number of defs and uses *) + regclass: int; (*r identifier of register class *) + accesses: int; (*r number of defs and uses *) mutable spillcost: float; (*r estimated cost of spilling *) mutable adjlist: node list; (*r all nodes it interferes with *) mutable degree: int; (*r number of adjacent nodes *) @@ -206,7 +206,7 @@ type graph = { varTable: (var, node) Hashtbl.t; mutable nextIdent: int; (* The adjacency set *) - mutable adjSet: unit IntPairs.t; + adjSet: unit IntPairs.t; (* Low-degree, non-move-related nodes *) simplifyWorklist: DLinkNode.t; (* Low-degree, move-related nodes *) |