PHINode (and generally return value), doesn't presently assert failure if no arguments are active if phi is active

[wsmoses]

This should be asserting (and presently is a warning). Resolving this involves better interprocedural Activity Analysis, which will come in with the move to the Attributor.