From aff813685455559f6d6a88158dd3d605893ba3a3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 25 Sep 2015 16:43:18 +0200
Subject: Added support for the locations of stack allocated local variables.

This commit adds furher support for location information for local
variables and starts with the implementation of the debug_loc section.
---
 arm/TargetPrinter.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'arm')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 5f16fc9e..30166215 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -153,6 +153,7 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
           sprintf ".section	\"%s\",\"a%s%s\",%%progbits"
             s (if wr then "w" else "") (if ex then "x" else "")
       | Section_debug_info
+      | Section_debug_loc
       | Section_debug_abbrev -> "" (* Dummy value *)
             
     let section oc sec =
-- 
cgit