Remove various dead code

Change-Id: I38cd0577311c670ed965a5c064ef266aef915816
TN: RC14-025

Author: pmderodat

gnatdbg/maps.py

@@ -20,7 +20,10 @@ def get_node_iterator(self):
         raise NotImplementedError()
 
     def children(self):
-        names = iter('[{}]'.format(i) for i in count(0))
+        # This is an infinite iterator by design: the exit path is not
+        # coverable.
+        names = iter('[{}]'.format(i) for i in count(0)) # no-code-coverage
+
         for node in self.get_node_iterator():
             yield (next(names), node['key'])
             yield (next(names), node['element'])

gnatdbg/tagged.py

@@ -6,7 +6,7 @@
 
 from gnatdbg.utils import (
     address_as_offset, addr_to_val, encode_name, get_system_address,
-    ptr_to_int, strip_typedefs
+    strip_typedefs
 )
 
 # The reader of this module is assumed to be familiar with how GNAT implements

gnatdbg/utils.py

@@ -62,13 +62,6 @@ def address_as_offset(addr):
         return int_addr
 
 
-def ptr_to_int(ptr_value):
-    """
-    Convert an access GDB value into the corresponding Python integer.
-    """
-    return int(ptr_value.cast(get_system_address()))
-
-
 def strip_typedefs(value):
     return value.cast(value.type.strip_typedefs())