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

smowton · Apr 19, 2018 · 9c66a66 · 9c66a66
1 parent e133964
commit 9c66a66
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/ansi-c/expr2c.cpp b/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;
 }