CompileStatic: Spurious errors on equals method shown in eclipse editor and not in Problems

[ssadedin]

I am having a lot of trouble nailing down when this happens and doesn't happen, and unfortunately
so far don't have a simple example I can share.

The problem is always in an equals comparison and occurs on the base language types like Object, String and null - here's an example where it claims it cannot compare two strings:

Here's another example where it can't compare something to null:

Sorry I don't yet have a reproducible example - it seems to be sporadic enough that I can't yet make a simple example of it. However I wanted to log this in case there's a way to fix it anyway, or if other people are encountering it.

I was encountering this using the stable release of 3.9.0 and now upgraded to the snapshot release of 4.0:

Both of them seem to have the same behaviour.

[eric-milles]

There is a block in BinaryExpressionTransformer that creates a call to ScriptBytecodeAdapter#compareEquals:

            MethodNode adapter = StaticCompilationTransformer.BYTECODE_BINARY_ADAPTERS.get(operationType);
            if (adapter != null) {
                Expression sba = classX(StaticCompilationTransformer.BYTECODE_ADAPTER_CLASS);
                call = callX(sba, "compareEquals", args(expr, right));
                call.setMethodTarget(adapter);
            } else {
                ...
            }

I think it is supposed to be "compareEqual" -- excerpt from ScriptBytecodeAdapter.java:

    public static boolean compareEqual(Object left, Object right) {

[eric-milles]

Looking at the "compareTo" transformation (also in BinaryExpressionTransformer), there is a slight chance that the transformed expression "left" and the inferred type "getType(leftExpression)" are not aligned. I think it should be getType(left) and getType(right) when checking for Comparables.

            MethodCallExpression call;
            Expression left = staticCompilationTransformer.transform(leftExpression);
            Expression right = staticCompilationTransformer.transform(rightExpression);

            if (operationType == Types.COMPARE_TO
                    && findType(leftExpression).implementsInterface(ClassHelper.COMPARABLE_TYPE)
                    && findType(rightExpression).implementsInterface(ClassHelper.COMPARABLE_TYPE)) {
                call = callX(left, "compareTo", args(right));
                call.setImplicitThis(false);
                call.setMethodTarget(COMPARE_TO_METHOD);
                call.setSourcePosition(bin);

[ssadedin]

Wow, thanks for the fast followup 👍

I will wait for a snapshot to include this and then give it a try (unless that's not appropriate at this point?).

[eric-milles]

ready to test

[ssadedin]

That fixed most of them! there's still a problem with null comparisons:

In this case, if I explicitly cast null to the type of the LHS then it removes the error:

But that I think should not be necessary.

Thanks for the work on this!

[eric-milles]

Are you using Groovy 3 or 2.5? I did not port the whole fix to 2.5 because it requires a bit more reogranizing.

[ssadedin]

Are you using Groovy 3 or 2.5? I did not port the whole fix to 2.5 because it requires a bit more reogranizing.

Ah - I'm stuck on 2.5 sorry, should have mentioned. Thanks for working on this so fast!

[eric-milles]

Is there any more context you can provide? Maybe a small sample project?

[eric-milles]

I think I have it. "x == null" or "x != null" can be converted to CompareToNullExpression. This expression creates token type COMPARE_TO and it should be COMPARE_EQUAL or COMPARE_NOT_EQUAL. If this is processed by StaticTypeCheckingVisitor#getResultType it is possible to find no compareTo method or no compatible one.

[eric-milles]

I am wondering if you have a case of extra processing somewhere. How are you enabling static type checking and/or static compilation?