SymbolExternalizer: Rename externalized operand of sizeof

Signed-off-by: Marcos Paulo de Souza <[email protected]>

libcextract/SymbolExternalizer.cpp

@@ -513,6 +513,37 @@ bool SymbolExternalizer::FunctionUpdater::Update_References_To_Symbol(Stmt *stmt
       expr->setDecl(NewSymbolDecl);
       replaced = true;
     }
+  } else if (DeclStmt::classof(stmt)) {
+    /* To handle symbol renames on situations like the sizeof below
+     *
+     * static char x[4];
+     *
+     * void f(void) {
+     *    char y[sizeof(x)];
+     * }
+     */
+    DeclStmt *dstmt = (DeclStmt *) stmt;
+    Decl *ddecl = dstmt->getSingleDecl();
+
+    //assert(dyn_cast<VarDecl>(ddecl)->getType()->isArrayType() && "should be an array type");
+
+    auto vec_of_ranges = Get_Range_Of_Identifier_In_SrcRange(ddecl->getSourceRange(),
+                                                             OldSymbolName.c_str());
+
+    if (vec_of_ranges.size() > 0) {
+      /* Prepare the text modification.  */
+      std::string new_name;
+      if (Wrap) {
+        new_name = NewSymbolDecl->getName().str();
+      } else {
+        new_name = "(*" + NewSymbolDecl->getName().str() + ")";
+      }
+
+      for (auto irange : vec_of_ranges) {
+        /* Issue a text modification.  */
+        SE.Replace_Text(irange, new_name, 100);
+      }
+    }
   }
 
   /* Repeat the process to child statements.  */

testsuite/ccp/ext-obj-5.c

@@ -0,0 +1,17 @@
+/* { dg-options "-DCE_EXTRACT_FUNCTIONS=pu_f -DCE_EXPORT_SYMBOLS=ee_o" }*/
+
+#include <assert.h>
+
+static char ee_o[] = "123";
+
+void pu_f(void)
+{
+        char s[sizeof(ee_o)];
+	char t[sizeof(ee_o)][sizeof(ee_o)];
+	static_assert(sizeof(s) == 4);
+	static_assert(sizeof(t) == 16);
+        ee_o;
+}
+
+/* { dg-final { scan-tree-dump "static char \(\*klpe_ee_o\)\[4\];" } } */
+/* { dg-final { scan-tree-dump "char s\[sizeof\(\(\*klpe_ee_o\)\)\];" } } */