PR Category

Execute Infrastructure

PR Types

Bug fixes

Description

对于相同的对象，比如 None，我们在模拟执行也是相同的 Variable，也就是说这个 Variable 拥有不同的 name，因此在 store 的时候，store_var_info: dict[str, str]（var.id -> name），这样的 store_var_info 是无法表示拥有多个 name 的 Variable 的，因此使用 store_var_info: dict[str, list[str]] 来表示 Variable 可能拥有多个 name，当然，如果它拥有多个 name，在 store 时候就应该为每个 name store，需要 dup top 一下再进行 store

PCard-66972