Merge pull request oracle#16 from jerboaa/fail-missing-api-option

Partial backport of [GR-48529] Use the API flag in the init hint
jerboaa · Aug 27, 2024 · 67e95eb · 67e95eb
2 parents 058a829 + 31573c1
commit 67e95eb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...ratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java b/...ratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/option/SubstrateOptionsParser.java
@@ -195,7 +195,9 @@ public static String commandArgument(OptionKey<?> option, String value, String a
                     }
                 }
             }
-            return HOSTED_OPTION_PREFIX + value + option;
+            String optionString = HOSTED_OPTION_PREFIX + value + option;
+            assert apiOptionName == null : "The API option " + apiOptionName + " not found for " + optionString;
+            return optionString;
         } else {
             String apiOptionWithValue = null;
             for (APIOption apiOption : apiOptions) {