From 61fb9fd627655c5da9f7ce23a958f35998d6fa66 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 27 Jul 2021 08:36:51 +0200
Subject: [PATCH] [typing] don't use empty name as base name for alpha renaming
---
src/kernel_services/ast_queries/cil.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil.ml b/src/kernel_services/ast_queries/cil.ml
index 4d594e5a29a..695600d6793 100644
--- a/src/kernel_services/ast_queries/cil.ml
+++ b/src/kernel_services/ast_queries/cil.ml
@@ -6245,7 +6245,9 @@ let uniqueVarNames (f: file) : unit =
let processLocal (v: varinfo) =
(* start from original name to avoid putting another _0 in case
of conflicts. *)
- let lookupname = v.vorig_name in
+ let lookupname =
+ if v.vorig_name = "" then v.vname else v.vorig_name
+ in
let data = CurrentLoc.get () in
let newname, oldloc =
Alpha.newAlphaName
--
GitLab