[Flang] verification of lowering to FIR failed with "'arith.extui' op operand type 'i32' and result type 'i8' are cast incompatible"

[k-arrows]

The following program test.f90 causes the error. If this program should be rejected, a semantic error should be output.

character(kind=4, len=1) :: c = '0'
print *, ichar(c, 1)
end

# flang-new test.f90
error: loc("/tmp/test.f90":2:10): 'arith.extui' op operand type 'i32' and result type 'i8' are cast incompatible
error: verification of lowering to FIR failed

[llvmbot]

@llvm/issue-subscribers-flang-ir

Author: None (k-arrows)

The following program `test.f90` causes the error. If this program should be rejected, a semantic error should be output.

character(kind=4, len=1) :: c = '0'
print *, ichar(c, 1)
end

# flang-new test.f90
error: loc("/tmp/test.f90":2:10): 'arith.extui' op operand type 'i32' and result type 'i8' are cast incompatible
error: verification of lowering to FIR failed

[llvmbot]

@llvm/issue-subscribers-bug

Author: None (k-arrows)

The following program `test.f90` causes the error. If this program should be rejected, a semantic error should be output.

character(kind=4, len=1) :: c = '0'
print *, ichar(c, 1)
end

# flang-new test.f90
error: loc("/tmp/test.f90":2:10): 'arith.extui' op operand type 'i32' and result type 'i8' are cast incompatible
error: verification of lowering to FIR failed