Merge pull request diffblue#197 from diffblue/feature/instruction_ordinal_in_HTML_dump

SEC-66 : Added ordinals of instructions in GOTO functions in HTML dump.

Author: marek-trtik

src/summaries/summary_dump.cpp

@@ -238,6 +238,7 @@ std::string dump_function_body_in_html(
           "  <caption>Instructions of the function. Column 'Loc' shows program "
           "locations. All numbers are decimal.</caption>\n"
           "  <tr>\n"
+          "    <th>Ord</th>\n"
           "    <th>Loc</th>\n"
           "    <th>Targets</th>\n"
           "    <th>Instruction</th>\n"
@@ -254,15 +255,21 @@ std::string dump_function_body_in_html(
   {
     ostr << "  <tr>\n";
 
+    // Dumping ordinal of the instruction
+    ostr << "    <td align=\"right\">"
+         << std::distance(fn_body.instructions.cbegin(), it)
+         << "</td>\n"
+         ;
+
     // Dumping program location
-    ostr << "    <td>"
+    ostr << "    <td align=\"right\">"
          << it->location_number
          << "</td>\n"
          ;
 
     // Dumping targets
     if (it->is_target())
-      ostr << "    <td>" << it->target_number << "</td>\n";
+      ostr << "    <td align=\"center\">" << it->target_number << "</td>\n";
     else
       ostr << "    <td>    </td>\n";