• Robert Griesemer's avatar
    spec: clarify restrictions on RHS of non-constant shifts · e4ce08af
    Robert Griesemer authored
    For non-constant shifts with an untyped constant shift count, the
    spec only said that it must "be converted to unsigned integer type".
    go/types accepts any (arbitrarily large) integer value. Both cmd/compile
    and gccgo require that the shift count be representable as a uint value
    in that case (if the shift count is typed, it may be any unsigned integer
    type).
    
    This change adjusts the spec to state what the compilers have been doing
    all along. The new wording matches similar rules elsewhere (e.g., for
    untyped array and slice indices). Also, while technically this is a
    restriction (we could permit arbitrarily large shift counts), in practice
    this is irrelevant.
    
    Fixes #14822.
    
    Change-Id: Ia75834c67483cf761c10025c8df758f225ef67c2
    Reviewed-on: https://go-review.googlesource.com/45072Reviewed-by: 's avatarIan Lance Taylor <iant@golang.org>
    e4ce08af
go_spec.html 197 KB