Invalid dense constant assignment being parsed.

[paul-tqh-nguyen]

import mlir

mlir_text = r"""

func @bad_func() -> tensor<8xf32> {
  %0 = constant dense<0.0> : tensor<8xf32> : tensor<8xf32> 
  return %0 : tensor<8xf32>
}

"""

print(mlir_text)

mlir.parse_string(mlir_text)

This should not parse. It does parse.

Ideally, %0 = constant dense<0.0> : tensor<8xf32> : tensor<8xf32> would cause an exception to be raised.

Proximal cause:

• This is the rule for dense_elements_attribute. It requires a colon+type.
• dense_elements_attribute is a sub-rule of elements_attribute.
• elements_attribute is a sub-rule of standard_attribute.
• standard_attribute is a sub-rule of attribute_value .
• attribute_value is used in the constant op of the standard dialect, which additionally requires a type to be written (which means 2 type declarations in total, which causes the bug).

Perhaps having this parse is a non-issue since one could argue that it might be syntactically valid (which I'm not sure I agree with) but is semantically invalid.