Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Better documentation of weird-DWARF-issue workaround
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 4 May 2016 07:56:20 +0000 (09:56 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 4 May 2016 07:56:20 +0000 (09:56 +0200)
src/mc/mc_diff.cpp

index e8ff3cc..b034d1e 100644 (file)
@@ -746,8 +746,13 @@ static int compare_heap_area_with_type(struct s_mc_diff *state, int process_inde
                                        int pointer_level)
 {
 top:
                                        int pointer_level)
 {
 top:
-  // HACK: This should not happen but in pratice, there is some
-  // DW_TAG_typedef without DW_AT_type. We should fix this somehow.
+
+  // HACK: This should not happen but in pratice, there are some
+  // DW_TAG_typedef without an associated DW_AT_type:
+  //<1><538832>: Abbrev Number: 111 (DW_TAG_typedef)
+  //    <538833>   DW_AT_name        : (indirect string, offset: 0x2292f3): gregset_t
+  //    <538837>   DW_AT_decl_file   : 98
+  //    <538838>   DW_AT_decl_line   : 37
   if (type == nullptr)
     return 0;
 
   if (type == nullptr)
     return 0;