Alright, I'll mark this as rejected in patchwork. On 2016-06-03 01:28 PM, Jason Ekstrand wrote: > None of the Opcode's evaluated as specialization constants have four > sources so this will never be a problem. Hence the assert on the next > line. I think we should just mark this as a false positive.