From 43b557ce847b56c1cfae2081c7585191043a85b6 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 6 Nov 2017 09:56:21 +0100
Subject: Remove superfluous function.

The new_label function is alway equal to PrintAsmaux.new_label.
Bug 22472
---
 arm/TargetPrinter.ml     | 2 --
 backend/PrintAsm.ml      | 4 ++--
 backend/PrintAsmaux.ml   | 1 -
 powerpc/TargetPrinter.ml | 2 --
 riscV/TargetPrinter.ml   | 2 --
 x86/TargetPrinter.ml     | 2 --
 6 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 7abd9074..1493f9fc 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -886,8 +886,6 @@ struct
 
   let default_falignment = 4
 
-  let new_label = new_label
-
   let address = if Archi.ptr64 then ".quad" else ".4byte"
 end
 
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index 465b8791..3072bff3 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -23,8 +23,8 @@ module Printer(Target:TARGET) =
   struct
 
     let get_fun_addr name txt =
-      let s = Target.new_label ()
-      and e = Target.new_label () in
+      let s = new_label ()
+      and e = new_label () in
       Debug.add_fun_addr name txt (e,s);
       s,e
 
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml
index 0db664ce..4099d76f 100644
--- a/backend/PrintAsmaux.ml
+++ b/backend/PrintAsmaux.ml
@@ -43,7 +43,6 @@ module type TARGET =
       val comment: string
       val symbol: out_channel -> P.t -> unit
       val default_falignment: int
-      val new_label: unit -> int
       val label: out_channel -> int -> unit
       val address: string
     end
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml
index 9c07b086..390fb385 100644
--- a/powerpc/TargetPrinter.ml
+++ b/powerpc/TargetPrinter.ml
@@ -993,8 +993,6 @@ module Target (System : SYSTEM):TARGET =
 
     let default_falignment = 4
 
-    let new_label = new_label
-
     let address = address
 
     let section oc sec =
diff --git a/riscV/TargetPrinter.ml b/riscV/TargetPrinter.ml
index b363b2b7..5c6edc46 100644
--- a/riscV/TargetPrinter.ml
+++ b/riscV/TargetPrinter.ml
@@ -697,8 +697,6 @@ module Target : TARGET =
 
     let default_falignment = 2
 
-    let new_label = new_label
-
     let cfi_startproc oc = ()
     let cfi_endproc oc = ()
 
diff --git a/x86/TargetPrinter.ml b/x86/TargetPrinter.ml
index c19359fa..d0f8ef5a 100644
--- a/x86/TargetPrinter.ml
+++ b/x86/TargetPrinter.ml
@@ -938,8 +938,6 @@ module Target(System: SYSTEM):TARGET =
 
     let label = label
 
-    let new_label = new_label
-
     let address = if Archi.ptr64 then ".quad" else ".long"
 
 end
-- 
cgit