Require every taken jump target to fall on an instruction boundary within the current function.

Generated from canonical repository manifests. Do not edit this note directly.

Relationships

• verified-by ← [[clauses/WMLSCRIPT-CL-RUNTIME-JUMP-VALIDITY|WMLSCRIPT-CL-RUNTIME-JUMP-VALIDITY]]

Data

{
  "kind": "error-policy",
  "status": "implemented",
  "assertion": "Require every taken jump target to fall on an instruction boundary within the current function.",
  "source": "spec-processing/source-manifests/wap-1.2.1-selected-normative-clauses.json"
}