Added support for tracking which ConcreteRuntimeObjNodes can be Arrays and which...
authorstephey <stephey>
Mon, 18 Oct 2010 09:34:14 +0000 (09:34 +0000)
committerstephey <stephey>
Mon, 18 Oct 2010 09:34:14 +0000 (09:34 +0000)
commitdfef8d3bd686f02b4a73b0483e9b841678edc454
tree085cf2e25aee0d64c8a49c0c2a2603db2366d73e
parent4295db96b66400decb565c20d55091892616c56d
Added support for tracking which ConcreteRuntimeObjNodes can be Arrays and which can be array elements. Array elements get their own case statement since if we add the entire array into the queue, then it's probably better to let the switch statement handle what to do with objects from a specific allocation site.

I had more code written, but apparently my workspace was not up to date. The changes I made need changes, so I omitted them. It's okay since I need to ask Yonghun/Jim about arrays on the C-side anyway.
Robust/src/IR/Flat/RuntimeConflictResolver.java