test/fixedbugs/issue26495.go

// run

// Copyright 2018 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Issue 26495: gccgo produces incorrect order of evaluation
// for expressions involving &&, || subexpressions.

package main

var i int

func checkorder(order int) {
	if i != order {
		panic("FAIL: wrong evaluation order")
	}
	i++
}

func A() bool              { checkorder(1); return true }
func B() bool              { checkorder(2); return true }
func C() bool              { checkorder(5); return false }
func D() bool              { panic("FAIL: D should not be called") }
func E() int               { checkorder(3); return 0 }
func F() int               { checkorder(0); return 0 }
func G(bool) int           { checkorder(9); return 0 }
func H(int, bool, int) int { checkorder(7); return 0 }
func I(int) bool           { checkorder(8); return true }
func J() int               { checkorder(4); return 0 }
func K() int               { checkorder(6); return 0 }
func L() int               { checkorder(10); return 0 }

func main() {
	_ = F() + G(A() && B() && I(E()+H(J(), C() && D(), K()))) + L()
}