[Soot-list] RuntimeException in ArrayBoundsCheckerAnalysis

[Ondrej Lhotak]

Thank you for the fix. It has been committed as revision 1900.

Ondrej

On Tue, Nov 16, 2004 at 08:59:19AM -0600, Archie Cobbs wrote:
> --- soot-2.1.0.orig/src/soot/jimple/toolkits/annotation/arraycheck/ClassFieldAnalysis.java	2003-12-18 11:43:04.000000000 -0600
> +++ soot-2.1.0/src/soot/jimple/toolkits/annotation/arraycheck/ClassFieldAnalysis.java	2004-11-16 08:57:07.000000000 -0600
> @@ -333,7 +333,8 @@
>  		    }
>  		    else
>  		    {
> -			if (oldv.getValue() != length.getValue())
> +			if (oldv.isInteger()
> +			  && oldv.getValue() != length.getValue())
>  			{
>  			    oldv.setTop();
>  			    candidates.remove(which);
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://www.sable.mcgill.ca/mailman/listinfo/soot-list
>