确保变量的值是否发生变化

Ada*_*ady 2 llvm

有没有办法确定特定的SSA变量值在程序中的2个点之间不会发生变化?

Eli*_*sky 6

来自维基百科:

在编译器设计中,静态单一赋值形式(通常缩写为SSA形式或简称为SSA)是中间表示(IR)的属性,它表示每个变量只分配一次.

所以我不确定你的问题是否有任何意义.

在GEB的时尚,我会回答"mu";-)