cmd/compile: "internal compiler error: arg 1 does not dominate" with ssacheck on

Question

cmd/compile: "internal compiler error: arg 1 does not dominate" with ssacheck on

ALTree opened this issue 4 years ago · 3 comments

go version go1.15.8 linux/amd64

go version go1.16 linux/amd64

go version devel +d4b2638234 Sat Feb 20 03:54:50 2021 +0000 linux/amd64

package p

func f() {
	var b bool
	if b {
		b = true
	}
l:
	for !b {
		b = true
		goto l
	}
}

$ go tool compile -d=ssa/check/seed crash.go 
crash.go:5:2: internal compiler error: 'f': arg 1 of value v7 = Phi <mem> v1 v7 does not dominate, arg=v7 = Phi <mem> v1 v7

Answer 1 · 2021-02-20T21:19:03.000Z

This looks like a shortcircuit bug. @josharian this looks like it was introduced at CL 222923.

Answer 2 · 2021-02-20T21:24:19.000Z

@ALTree you always have the best CFGs. I’m AFK possibly until Monday but will fix ASAP. Likely to be a very simple, targeted fix.

Answer 3 · 2021-02-22T20:07:14.000Z

Change https://golang.org/cl/295130 mentions this issue: cmd/compile: reject some rare looping CFGs in shortcircuit