Section names often start with '.', but not always

The Linux kernel violates this rule in several places.

Author: tautschnig

src/ansi-c/c_typecheck_base.cpp

@@ -723,15 +723,12 @@ void c_typecheck_baset::typecheck_declaration(
       {
         // section name is not empty, do a bit of parsing
         std::string asm_name = id2string(full_spec.section);
-        if(asm_name[0] != '.')
+        if(asm_name[0] == '.')
         {
-          warning().source_location = symbol.location;
-          warning() << "section name `" << asm_name
-                    << "' expected to start with `.'" << eom;
+          std::string::size_type primary_section = asm_name.find('.', 1);
+          if(primary_section != std::string::npos)
+            asm_name.resize(primary_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);