projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd95464) | patch
fix another bug: callee propagated wrong write effects associated with its local...
authoryeom <yeom>
Mon, 12 Dec 2011 19:51:01 +0000 (19:51 +0000)
committeryeom <yeom>
Mon, 12 Dec 2011 19:51:01 +0000 (19:51 +0000)
commitf876c75f71f46ec9b749a9007859aa924bd1eb5d
treedd460719e8bd522799268a376aaccf1c8e01cb8atree | snapshot
parentdd95464156548b1573a14a2f39d8deed7ed4d840commit | diff
fix another bug: callee propagated wrong write effects associated with its local vars to the caller's may-write set.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java diff | blob | history
Irvine Research Compiler