[GR-45250][GR-45734] Use strict constant analysis for automatic registration for Class.getResource and Class.getResourceAsStream invocations.

Author: Aca-S

substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/ResourcesFeature.java

@@ -55,6 +55,9 @@
 import java.util.regex.Pattern;
 import java.util.stream.Collectors;
 
+import com.oracle.svm.hosted.strictconstantanalysis.ConstantExpressionRegistry;
+import com.oracle.svm.hosted.strictconstantanalysis.InferredDynamicAccessLoggingFeature;
+import com.oracle.svm.hosted.strictconstantanalysis.StrictConstantAnalysisFeature;
 import org.graalvm.nativeimage.ImageSingletons;
 import org.graalvm.nativeimage.hosted.RuntimeResourceAccess;
 import org.graalvm.nativeimage.impl.ConfigurationCondition;
@@ -693,6 +696,10 @@ private void registerResourceRegistrationPlugin(InvocationPlugins plugins, Metho
         parameterTypes.add(InvocationPlugin.Receiver.class);
         parameterTypes.addAll(Arrays.asList(method.getParameterTypes()));
 
+        ConstantExpressionRegistry registry = ImageSingletons.contains(ConstantExpressionRegistry.class)
+                        ? ImageSingletons.lookup(ConstantExpressionRegistry.class)
+                        : null;
+
         plugins.register(method.getDeclaringClass(), new InvocationPlugin.RequiredInvocationPlugin(method.getName(), parameterTypes.toArray(new Class<?>[0])) {
             @Override
             public boolean isDecorator() {
@@ -702,20 +709,38 @@ public boolean isDecorator() {
             @Override
             public boolean apply(GraphBuilderContext b, ResolvedJavaMethod targetMethod, Receiver receiver, ValueNode arg) {
                 VMError.guarantee(!sealed, "All bytecode parsing happens before the analysis, i.e., before the registry is sealed");
-                Class<?> clazz = SubstrateGraphBuilderPlugins.asConstantObject(b, Class.class, receiver.get(false));
-                String resource = SubstrateGraphBuilderPlugins.asConstantObject(b, String.class, arg);
-                if (clazz != null && resource != null) {
-                    String resourceName;
-                    try {
-                        resourceName = (String) resolveResourceName.invoke(clazz, resource);
-                    } catch (ReflectiveOperationException e) {
-                        throw VMError.shouldNotReachHere(e);
+                StrictConstantAnalysisFeature.Options.Mode analysisMode = StrictConstantAnalysisFeature.Options.StrictConstantAnalysis.getValue();
+                if (analysisMode != StrictConstantAnalysisFeature.Options.Mode.Disable) {
+                    assert registry != null;
+                    Class<?> clazz = registry.getReceiver(b.getMethod(), b.bci(), targetMethod, Class.class);
+                    String resource = registry.getArgument(b.getMethod(), b.bci(), targetMethod, 0, String.class);
+                    boolean inferredInStrictMode = processInferredResourceAccess(b, targetMethod, reason, resolveResourceName, clazz, resource);
+                    if (inferredInStrictMode) {
+                        return true;
                     }
-                    b.add(ReachabilityRegistrationNode.create(() -> RuntimeResourceAccess.addResource(clazz.getModule(), resourceName), reason));
-                    return true;
+                }
+                if (analysisMode != StrictConstantAnalysisFeature.Options.Mode.Enforce) {
+                    Class<?> clazz = SubstrateGraphBuilderPlugins.asConstantObject(b, Class.class, receiver.get(false));
+                    String resource = SubstrateGraphBuilderPlugins.asConstantObject(b, String.class, arg);
+                    return processInferredResourceAccess(b, targetMethod, reason, resolveResourceName, clazz, resource);
                 }
                 return false;
             }
         });
     }
+
+    private static boolean processInferredResourceAccess(GraphBuilderContext b, ResolvedJavaMethod targetMethod, ParsingReason reason, Method resolveResourceName, Class<?> clazz, String resource) {
+        if (clazz != null && resource != null) {
+            String resourceName;
+            try {
+                resourceName = (String) resolveResourceName.invoke(clazz, resource);
+            } catch (ReflectiveOperationException e) {
+                throw VMError.shouldNotReachHere(e);
+            }
+            b.add(ReachabilityRegistrationNode.create(() -> RuntimeResourceAccess.addResource(clazz.getModule(), resourceName), reason));
+            InferredDynamicAccessLoggingFeature.logRegistration(b, reason, targetMethod, clazz, new Object[]{resource});
+            return true;
+        }
+        return false;
+    }
 }