一个顺序问题相关的疑问，一个静态复制可能不会立刻引起别名分析变化
【路人】181240020 胡俊豪181240020@smail.nju.edu.cn 2021/12/5 21:34:24
我有一个顺序问题相关的疑问。比如a=T.f这句话。如果其他很远的地方形如T.f=的static Store语句更新了，按理说下一个该更新的就是这个a=T.f。但是由于a=T.f与T.f=没有edge（离得很远，甚至在不同的方法里），那按照worklist算法，T.f=更新后，可能不会引起a=T.f更新。
A7这个地方的flow insensitive可能会引起这样的问题？所以需要多次启动worklist？