[Bug go/83071] New: gccgo: ICE in set_type

[pmatos at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83071

            Bug ID: 83071
           Summary: gccgo: ICE in set_type
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: go
          Assignee: ian at airs dot com
          Reporter: pmatos at gcc dot gnu.org
                CC: cmang at google dot com
  Target Milestone: ---

I have written a very simple program in Go and somehow I surprisingly managed
to crash the compiler.

This is my first Go program so maybe I am playing outside the normal rules...
still, it shouldn't ICE.

asmparser.go:
----------------

package asmparser

import "container/list"

// Structure representing assembler files
// An AsmFile is a list of assembler specific keywords and labels interspersed
with
// architectural specific instructions.
type AsmFile list.List

// Interface for entrie
type AsmEntry struct {
        lineno int
        entry  *Entry
}

type Entry interface {
        isInsn() bool
        isKeyword() bool
        isLabel() bool
}

type Insn struct {
        mnemonic string
        args     list.List
}

func (insn Insn) isInsn() bool {
        return true
}

func (insn Insn) isKeyword() bool {
        return false
}

func (insn Insn) isLabel() bool {
        return false
}

type Keyword struct {
        name string
        args string
}

func (kw Keyword) isInsn() bool {
        return false
}

func (kw Keyword) isKeyword() bool {
        return true
}

func (kw Keyword) isLabel() bool {
        return false
}

type Label struct {
        name string
}

func (l Label) isInsn() bool {
        return false
}

func (l Label) isKeyword() bool {
        return true
}

func (l Label) isLabel() bool {
        return false
}

// Hand-written parser
func EatWhitespace(input string) (string, int) {
        var eaten int = 0
        for len(input) > 0 {
                if input[0] != ' ' {
                        return input, eaten
                }
                input++
                eaten++
        }
        return input, eaten
}
------------

$ go build
# gitlab.linki.tools/go-devtools/asmparser
go1: internal compiler error: in set_type, at
go/gofrontend/expressions.cc:16320
0x6013af Numeric_constant::set_type(Type*, bool, Location)
        ../../../gcc/gcc/go/gofrontend/expressions.cc:16320
0x8c06f9 Integer_expression::do_check_types(Gogo*)
        ../../../gcc/gcc/go/gofrontend/expressions.cc:2003
0x8dde63 Expression::check_types(Gogo*)
        ../../../gcc/gcc/go/gofrontend/expressions.h:902
0x8dde63 Check_types_traverse::expression(Expression**)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:3297
0x8b190d Expression::traverse(Expression**, Traverse*)
        ../../../gcc/gcc/go/gofrontend/expressions.cc:45
0x8bb538 Expression_list::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/expressions.cc:15857
0x8e05b1 Block::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:5977
0x8e05b1 Block::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:5977
0x8e05b1 Block::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:5977
0x8e05b1 Block::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:5977
0x8e07c9 Function::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:5101
0x8e3ebb Bindings::traverse(Traverse*, bool)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:7803
0x8e41d1 Gogo::traverse(Traverse*)
        ../../../gcc/gcc/go/gofrontend/gogo.cc:2497
0x8e44e6 Gogo::check_types()
        ../../../gcc/gcc/go/gofrontend/gogo.cc:3307
0x8dd76f go_parse_input_files(char const**, unsigned int, bool, bool)
        ../../../gcc/gcc/go/gofrontend/go.cc:133
0x8d8bcf go_langhook_parse_file
        ../../../gcc/gcc/go/go-lang.c:323
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

Fails wth both gccgo 7.2.1 (distributed with Fedora) and 
$ go version
go version go1.9 gccgo (GCC) 8.0.0 20171120 (experimental) linux/amd64

which I just built locally.