insert-annoations-to-source issues type analysis failed; skipping (incomplete CLASSPATH?)

[the1derer]

ResourceBundle.zip
Commands run:

unzip ResourceBundle.zip
cd ResourceBundle
export CLASSPATH=checker-qual.jar:
extract-annotations ResourceBundle.class
insert-annotations-to-source  ResourceBundle.jaif ResourceBundle.java

Result:

WARNING: ResourceBundle.java: type analysis failed; skipping
(incomplete CLASSPATH?)

[the1derer]

@mernst I am sure the problem is with insert-annotations-to-source. I am not able to figure out what the problem is or how to reduce the test-case.

[mernst]

The problem is the @SuppressWarnings("unchecked") annotation on line 1920.
If you comment it out, the warning is not issued.

I agree this is undesirable, but it is just a warning. Does it cause any problems? That is, is the output of insert-annotations-to-source different than it should be?

Here is the context:

    /**
     * Returns the service type of the given baseName that is visible
     * to the given class loader
     */
    private static Class<ResourceBundleProvider>
            getResourceBundleProviderType(String baseName, ClassLoader loader)
    {
        // Look up <packagename> + ".spi." + <name>"Provider"
        int i = baseName.lastIndexOf('.');
        if (i <= 0) {
            return null;
        }

        String name = baseName.substring(i+1, baseName.length()) + "Provider";
        String providerName = baseName.substring(0, i) + ".spi." + name;

        // Use the class loader of the getBundle caller so that the caller's
        // visibility of the provider type is checked.
        return AccessController.doPrivileged(
            new PrivilegedAction<>() {
                @Override
                public Class<ResourceBundleProvider> run() {
                    try {
                        Class<?> c = Class.forName(providerName, false, loader);
                        if (ResourceBundleProvider.class.isAssignableFrom(c)) {
                            @SuppressWarnings("unchecked")
                            Class<ResourceBundleProvider> s = (Class<ResourceBundleProvider>) c;
                            return s;
                        }
                    } catch (ClassNotFoundException e) {}
                    return null;
                }
            });
    }

[the1derer]

Without commenting out, line 1920 i.e. @SuppressWarnings("unchecked") insert-annotations-to-source gives the stated warning and doesn't insert annotations at all. But with line 1920 commented out annotations are added successfully.