Fail on missing API options

(cherry picked from commit c949f3e)
zakkak · Sep 14, 2023 · 611407d · 611407d
1 parent ced42e5
commit 611407d
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) {