{"record":{"id":"3632f157124fd0f0","repo":"oracle/graal","slug":"the-condition-0-s-s-must-be-satisfied","errorCode":null,"errorMessage":"The condition 0 <= %s <= %s must be satisfied.","messagePattern":"The condition 0 <= (.+?) <= (.+?) must be satisfied\\.","errorType":"validation","errorClass":"IllegalArgumentException","httpStatus":null,"severity":"error","filePath":"compiler/src/org.graalvm.profdiff/src/org/graalvm/profdiff/Profdiff.java","lineNumber":114,"sourceCode":"            removeVeryDetailedPhasesArgument = argumentParser.addBooleanArgument(\n                            \"--remove-detailed-phases\", true, \"remove phases which perform many optimizations\");\n            pruneIdentitiesArgument = argumentParser.addBooleanArgument(\n                            \"--prune-identities\", true, \"show only differences when trees are compared\");\n            createFragmentsArgument = argumentParser.addBooleanArgument(\n                            \"--create-fragments\", true, \"create compilation fragments from inlinees in hot compilation units\");\n            inlinerReasoningArgument = argumentParser.addBooleanArgument(\n                            \"--inliner-reasoning\", false, \"always print the reasoning for inlining decisions\");\n            commandGroup = argumentParser.addCommandGroup(\n                            \"command\", \"the action to invoke\");\n        }\n\n        public void parseAndVerifyArguments(String[] args) throws Exception {\n            argumentParser.parse(args);\n            if (percentileArgument.getValue() > 1 || percentileArgument.getValue() < 0) {\n                throw new IllegalArgumentException(\"The hot method percentile must be in the range [0;1].\");\n            }\n            if (hotMinArgument.getValue() < 0 || hotMinArgument.getValue() > hotMaxArgument.getValue()) {\n                throw new IllegalArgumentException(String.format(\"The condition 0 <= %s <= %s must be satisfied.\", hotMinArgument.getName(), hotMaxArgument.getName()));\n            }\n        }\n\n        public CommandGroup getCommandGroup() {\n            return commandGroup;\n        }\n\n        public ProgramArgumentParser getArgumentParser() {\n            return argumentParser;\n        }\n\n        private HotCompilationUnitPolicy getHotCompilationUnitPolicy() {\n            HotCompilationUnitPolicy hotCompilationUnitPolicy = new HotCompilationUnitPolicy();\n            hotCompilationUnitPolicy.setHotMinLimit(hotMinArgument.getValue());\n            hotCompilationUnitPolicy.setHotMaxLimit(hotMaxArgument.getValue());\n            hotCompilationUnitPolicy.setHotPercentile(percentileArgument.getValue());\n            return hotCompilationUnitPolicy;\n        }","sourceCodeStart":96,"sourceCodeEnd":132,"githubUrl":"https://github.com/oracle/graal/blob/a66e9ccd1d7bf2552883939aa0788dfd0e294aab/compiler/src/org.graalvm.profdiff/src/org/graalvm/profdiff/Profdiff.java#L96-L132","documentation":"Error \"The condition 0 <= %s <= %s must be satisfied.\" thrown in oracle/graal.","triggerScenarios":"Thrown at compiler/src/org.graalvm.profdiff/src/org/graalvm/profdiff/Profdiff.java:114 when the library encounters an invalid state.","commonSituations":"Occurs when a caller violates the contract guarded by this check: The condition 0 <= {} <= {} must be satisfied.","solutions":["Fix the condition reported by the error: The condition 0 <= {} <= {} must be satisfied.","Check the throwing call site and ensure its documented preconditions (argument values, types, environment, or configuration) are satisfied before the call."],"exampleFix":"Validate inputs and environment so that the failing condition does not occur: The condition 0 <= {} <= {} must be satisfied.","handlingStrategy":null,"validationCode":null,"typeGuard":null,"tryCatchPattern":null,"preventionTips":[],"tags":[],"backgroundTag":null,"analyzedSha":"a66e9ccd1d7bf2552883939aa0788dfd0e294aab","analyzedAt":"2026-08-14T13:58:47.161Z","schemaVersion":2},"datasetVersion":"2026-08-15T22:17:37.221Z"}