projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b877638) | patch
vector resize isn't a problem, even without definite reachability, because we have...
authorjjenista <jjenista>
Fri, 18 Nov 2011 21:41:47 +0000 (21:41 +0000)
committerjjenista <jjenista>
Fri, 18 Nov 2011 21:41:47 +0000 (21:41 +0000)
commita5e144cbd299e81d645cfd9c199bd02a032f256d
treeebfa079e2b864c1bef5b535197e8ac71d7b19fbatree | snapshot
parentb877638495f71bc1d424bd364a3f92d414f98d12commit | diff
vector resize isn't a problem, even without definite reachability, because we have a special case of def reach just for array references
Robust/src/Tests/disjoint/definiteVector/makefile [new file with mode: 0644] blob
Robust/src/Tests/disjoint/definiteVector/test.java [new file with mode: 0644] blob
Irvine Research Compiler