caller local variables to in-context regions are modeled as out-of-context edges...
authorjjenista <jjenista>
Thu, 11 Mar 2010 20:08:50 +0000 (20:08 +0000)
committerjjenista <jjenista>
Thu, 11 Mar 2010 20:08:50 +0000 (20:08 +0000)
commit21d9fc5d50b0d45094a62252b5ad8e96c4967869
treeeb599e2b09fe8af0f66a1f5ec75e3b8f771d20a7
parenta2931edba877723455df1b77ea1042d62b425798
caller local variables to in-context regions are modeled as out-of-context edges in callee to preserve info, then matched in call site transform.  This approach is running and stable, but the answer doesn't look right with respect to the age of nodes in caller
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Tests/disjoint/predicateTest2/test.java