go/types: can shift complex numbers

Question

dvyukov opened this issue 9 years ago · 5 comments

gotype successfully compiles the following program:

package a
var a = complex64(1) << 2

gccgo also compiles it. gc rejects it saying:

invalid operation: complex64(1) << 2 (shift of type complex64)

Spec says that lhs of shift must be an integer.

Answer 1 · 2015-07-04T17:33:20.000Z

@griesemer if my reading of the spec is correct, then we also need to file a bug on gccgo.

Answer 2 · 2015-07-04T20:30:38.000Z

This is clearly a go/types bug. Should be trivial to fix and probably should be fixed for 1.5.

Answer 3 · 2015-07-10T22:40:36.000Z

The fix is trivial (one missing predicate check). Can safely go in for 1.5 as far as I am concerned.

(includes tests).

Answer 4 · 2015-07-10T23:00:12.000Z

Answer 5 · 2015-07-10T23:00:27.000Z