From 8b76e2ecdd355e0088fd0542d5acd492a6a89ec2 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 12 Oct 2015 10:47:47 +0200
Subject: Changed expand_debug to emit less labels.

If a label is printed before a list of debug annotations we can use it
for the debug annotations and don't need to add an extra label.
Bug 17392
---
 backend/Asmexpandaux.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/Asmexpandaux.ml')

diff --git a/backend/Asmexpandaux.ml b/backend/Asmexpandaux.ml
index 25be9be3..59d8d8db 100644
--- a/backend/Asmexpandaux.ml
+++ b/backend/Asmexpandaux.ml
@@ -133,6 +133,7 @@ let expand_debug id sp preg simple l =
           | _ ->
               aux None scopes rest
         end
+    | (Plabel lbl)::rest -> simple (Plabel lbl); aux (Some lbl) scopes rest 
     | i::rest -> simple i; aux None scopes rest in
   (* We need to move all closing debug annotations before the last real statement *)
   let rec move_debug acc bcc = function
-- 
cgit