Open
Description
The MD_range metadata kind needs better validation, so that it mimics the validation in DXC.
Currently, all MD_range metadata node kinds are accepted. However, there needs to be further checks, like in DXC.
For example, in DXC, Verifier.cpp has a function, visitRangeMetadata
that validates the range metadata node kind. One check, among many, is that the number of operands must be even. This needs to be validated to allow this metadata type in the whitelist.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
No status