[Wala-wala] Bug in AbstractRootMethod.addAllocation

[Bruno D. <du...@cs...>]

Hi,

In AbstractRootMethod.addAllocation(TypeReference, boolean), an
SSAArrayStoreInstruction is created with an index of 0 when the
specified type corresponds to a non-primitive array (line 239 in svn
head). The index should be a variable number (>= 1) rather than the
constant value itself. Replacing '0' with
'getValueNumberForIntConstant(0)' fixes the problem.

-- 
Bruno Dufour
PROLANGS Research Group
Rutgers, The State University of New Jersey
http://www.prolangs.rutgers.edu/~dufour/