bResult := s.f.NewBlock(ssa.BlockPlain)
		if n.Op() == ir.OANDAND {
			b.AddEdgeTo(bRight)
			b.AddEdgeTo(bResult)
		} else if n.Op() == ir.OOROR {
			b.AddEdgeTo(bResult)
			b.AddEdgeTo(bRight)
		}

		s.startBlock(bRight)
		er := s.expr(n.Y)
		s.vars[n] = er

		b = s.endBlock()
		b.AddEdgeTo(bResult)

		s.startBlock(bResult)
		return s.variable(n, types.Types[types.TBOOL])

func (b *Block) truncateValues(i int) {
	tail := b.Values[i:]
	for j := range tail {
		tail[j] = nil
	}
	b.Values = b.Values[:i]
}

// AddEdgeTo adds an edge from block b to block c.
func (b *Block) AddEdgeTo(c *Block) {
	i := len(b.Succs)
	j := len(c.Preds)
	b.Succs = append(b.Succs, Edge{c, j})
	c.Preds = append(c.Preds, Edge{b, i})
	b.Func.invalidateCFG()
}

org.codehaus.plexus.util.dag; public synchronized class Vertex implements Cloneable, java.io.Serializable { private String label; java.util.List children; java.util.List parents; public void Vertex(String); public String getLabel(); public void addEdgeTo(Vertex); public void removeEdgeTo(Vertex); public void addEdgeFrom(Vertex); public void removeEdgeFrom(Vertex); public java.util.List getChildren(); public java.util.List getChildLabels(); public java.util.List getParents(); public java.util.List...