fixup! Support __attribute__((section("x"))

Author: tautschnig

src/ansi-c/expr2c.cpp

@@ -8,6 +8,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "expr2c.h"
 
+#include <algorithm>
 #include <cassert>
 #include <cctype>
 #include <cstdio>
@@ -89,6 +90,9 @@ static std::string clean_identifier(const irep_idt &id)
         *it2='_';
   }
 
+  // rewrite . as used in ELF section names
+  std::replace(dest.begin(), dest.end(), '.', '_');
+
   return dest;
 }