Skip to content
Snippets Groups Projects
Commit ba7e098f authored by Basile Desloges's avatar Basile Desloges
Browse files

[variadic] Keep original name of format function in `vorig_name`

parent a94d4ce5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/variadic/standard.ml
+ 1
− 1
View file @ ba7e098f
...@@ -382,7 +382,7 @@ let build_specialized_fun env vf format_fun tvparams = ...@@ -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 let new_name = name ^ "_va_" ^ (string_of_int vf.vf_specialization_count) in
(* Start building the function *) (* 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 *) (* Set function return type and attributes *)
let ret_typ, params, _, attrs = Cil.splitFunctionType vf.vf_original_type in let ret_typ, params, _, attrs = Cil.splitFunctionType vf.vf_original_type in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment