Skip to content
Snippets Groups Projects
Commit 992d082c authored by Julien Signoles's avatar Julien Signoles
Browse files

comment for previous bug fix

parent ba279162
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/dup_functions.ml
+ 2
− 0
View file @ 992d082c
...@@ -163,6 +163,8 @@ let dup_fundec loc spec bhv kf vi new_vi = ...@@ -163,6 +163,8 @@ let dup_fundec loc spec bhv kf vi new_vi =
let mk_formal vi = let mk_formal vi =
let name = let name =
if vi.vname = "" then if vi.vname = "" then
(* unamed formal parameter: must generate a fresh name since a fundec
cannot have unnamed formals (see bts #2303). *)
Env.Varname.get ~scope:Env.Function Env.Varname.get ~scope:Env.Function
(Misc.mk_gen_name "unamed_formal") (Misc.mk_gen_name "unamed_formal")
else else
......
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