diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 13:35:48 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 13:35:48 +0100 |
commit | 5b05d3668571bd9b748b781b0cc29ae10f745f61 (patch) | |
tree | aa235b80ff0666c34332be46664ae289d8afaa2c /backend/Splitting.ml | |
parent | 272087e1bc62bead1d1e1bea3d64e12d013eea37 (diff) | |
download | compcert-5b05d3668571bd9b748b781b0cc29ae10f745f61.tar.gz compcert-5b05d3668571bd9b748b781b0cc29ae10f745f61.zip |
Code cleanup.
Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
Diffstat (limited to 'backend/Splitting.ml')
-rw-r--r-- | backend/Splitting.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/backend/Splitting.ml b/backend/Splitting.ml index 17b8098d..f09da104 100644 --- a/backend/Splitting.ml +++ b/backend/Splitting.ml @@ -13,10 +13,8 @@ (* Live range splitting over RTL *) open Camlcoq -open Datatypes open Coqlib open Maps -open AST open Kildall open Registers open RTL @@ -75,7 +73,7 @@ module LRMap = struct let bot : t = RMap.empty - let lub_opt_range r olr1 olr2 = + let lub_opt_range _ olr1 olr2 = match olr1, olr2 with | Some lr1, Some lr2 -> unify lr1 lr2; olr1 | Some _, None -> olr1 |