Oh, it was my code. Top is the TOP value in the abstract value lattice.
It means nothing to do.
> }
> else
> {
>- if (oldv.getValue() != length.getValue())
>+ if (oldv.isInteger()
>+ && oldv.getValue() != length.getValue())
> {
> oldv.setTop();
> candidates.remove(which);
>
>
Your fix is correct. Thanks.
Feng