https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118862
--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #4) > Completely untested. This regresses in unsigned_43.f90, on the test case unsigned(kind=1) :: x, r1, r2, r3, r4 unsigned(kind=1) :: n x = 0u_1 n = 1u_1 r1 = x ** n r2 = x ** 1u_1 r3 = 0u_1 ** n r4 = 0u_1 ** 1u_1 print *,r1,r2,r3,r4 end which produces 0 1 0 0 I'll take a look.