Skip to content

Commit bb70077

Browse files
authored
Merge pull request #599 from veselypeta/petr/fix-require-range
[UR] Pointer to handle arguments require a range() check
2 parents 78d2e42 + 20e059a commit bb70077

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

scripts/parse_specs.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -326,6 +326,10 @@ def __validate_params(d, tags):
326326

327327
if item['type'].endswith("flag_t"):
328328
raise Exception(prefix+"'type' must not be '*_flag_t': %s"%item['type'])
329+
330+
if type_traits.is_pointer(item['type']) and "_handle_t" in item['type'] and "[in]" in item['desc']:
331+
if not param_traits.is_range(item):
332+
raise Exception(prefix+"handle type must include a range(start, end) as part of 'desc'")
329333

330334
ver = __validate_version(item, prefix=prefix, base_version=d_ver)
331335
if ver < max_ver:

0 commit comments

Comments
 (0)