From ba7e098f27f24f8ebffede54c2668852f628f9e7 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 21 Jun 2021 15:01:33 +0200
Subject: [PATCH] [variadic] Keep original name of format function in
 `vorig_name`

---
 src/plugins/variadic/standard.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/variadic/standard.ml b/src/plugins/variadic/standard.ml
index 6ca8ff90c6e..f052b612e43 100644
--- a/src/plugins/variadic/standard.ml
+++ b/src/plugins/variadic/standard.ml
@@ -382,7 +382,7 @@ let build_specialized_fun env vf format_fun tvparams =
   let new_name = name ^ "_va_" ^ (string_of_int vf.vf_specialization_count) in
 
   (* Start building the function *)
-  let funvar = Build.open_function new_name in
+  let funvar = Build.open_function ~vorig_name:name new_name in
 
   (* Set function return type and attributes *)
   let ret_typ, params, _, attrs = Cil.splitFunctionType vf.vf_original_type in
-- 
GitLab