Only the top-level section should be considered for renaming

The Linux kernel first places `jiffies64` in .data, and later refines
that to .data..cacheline_aligned. The latter still is within the .data
section, though, so just use the .data part for renaming.

Author: tautschnig

src/ansi-c/c_typecheck_base.cpp

@@ -722,7 +722,11 @@ void c_typecheck_baset::typecheck_declaration(
       else
       {
         std::string asm_name;
-        asm_name=id2string(full_spec.section)+"$$";
+        asm_name = id2string(full_spec.section);
+        std::string::size_type primary_section = asm_name.find('.', 1);
+        if(primary_section != std::string::npos)
+          asm_name.resize(primary_section);
+        asm_name += "$$";
         if(!full_spec.asm_label.empty())
           asm_name+=id2string(full_spec.asm_label);
         else