bug fix:
authoryeom <yeom>
Fri, 28 Oct 2011 17:58:43 +0000 (17:58 +0000)
committeryeom <yeom>
Fri, 28 Oct 2011 17:58:43 +0000 (17:58 +0000)
commit364f13f99e1d6fbcfc734a0c77ad788903f021cc
treec0f4d6bf27c408cac822a708da65c751dce682c1
parentd3eda72f7c07206652052205cfb5a1577578976f
bug fix:
the last changes for another benchmark causes a problem to mp3decoder: field access through the chain of array generates the composite location with one missing component.
Robust/src/Analysis/SSJava/FlowDownCheck.java