I was actually thinking about amending the basic-block thing after I posted, but I figured no one would care. :) What I meant was expressions in the same "leaf" procedure, i.e. not in different procedures that happen to be inside the same procedure.