[Bug go/61246] New: gccgo: ICE in do_determine_types [GoSmith]

[Bug go/61246] New: gccgo: ICE in do_determine_types [GoSmith]

[dvyukov at google dot com]

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

            Bug ID: 61246
           Summary: gccgo: ICE in do_determine_types [GoSmith]
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: go
          Assignee: ian at airs dot com
          Reporter: dvyukov at google dot com

$ gccgo -v
Using built-in specs.
COLLECT_GCC=gccgo
COLLECT_LTO_WRAPPER=libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --enable-languages=c,c++,go --disable-bootstrap
--enable-checking=yes --disable-multilib --prefix=gcc_trunk/install
Thread model: posix
gcc version 4.10.0 20140516 (experimental) (GCC) 

The reproducer is attached.

$ go build -compiler=gccgo 0.go 
go1: internal compiler error: in do_determine_types, at
go/gofrontend/statements.cc:400
0x6078ed Temporary_statement::do_determine_types()
    ../../gcc/go/gofrontend/statements.cc:400
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x6073fa If_statement::do_determine_types()
    ../../gcc/go/gofrontend/statements.cc:3166
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x6073fa If_statement::do_determine_types()
    ../../gcc/go/gofrontend/statements.cc:3166
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x6073fa If_statement::do_determine_types()
    ../../gcc/go/gofrontend/statements.cc:3166
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x5d2d4b Block::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:5410
0x5d5ad8 Function::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:4562
0x5d5ad8 Gogo::determine_types()
    ../../gcc/go/gofrontend/gogo.cc:2755
0x5cea3c go_parse_input_files(char const**, unsigned int, bool, bool)
    ../../gcc/go/gofrontend/go.cc:107

[Bug go/61246] gccgo: ICE in do_determine_types [GoSmith]

[dvyukov at google dot com]

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

--- Comment #1 from Dmitry Vyukov <dvyukov at google dot com> ---
Created attachment 32825
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32825&action=edit
reproducer

[Bug go/61246] gccgo: ICE in do_determine_types [GoSmith]

[cmang at google dot com]

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

Chris Manghane <cmang at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-12-10
                 CC|                            |cmang at google dot com
           Assignee|ian at airs dot com                |cmang at google dot com
     Ever confirmed|0                           |1

--- Comment #2 from Chris Manghane <cmang at google dot com> ---
This ICE can reproduced by a smaller program:

package main
func main() {
        switch 1 != 1 {
        default:
        }
}

[Bug go/61246] gccgo: ICE in do_determine_types [GoSmith]

[ian at gcc dot gnu.org]

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

--- Comment #3 from ian at gcc dot gnu.org <ian at gcc dot gnu.org> ---
Author: ian
Date: Tue Dec 16 21:36:53 2014
New Revision: 218794

URL: https://gcc.gnu.org/viewcvs?rev=218794&root=gcc&view=rev
Log:
    PR go/61246
compiler: Switch expression comparisons should be boolean typed.

Modified:
    trunk/gcc/go/gofrontend/statements.cc

[Bug go/61246] gccgo: ICE in do_determine_types [GoSmith]

[cmang at google dot com]

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

Chris Manghane <cmang at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Chris Manghane <cmang at google dot com> ---
Fixed and test added to Go testsuite.