Consumed analysis: Add param_typestate attribute, which specifies that

function parameters must be in a particular state.  Patch by
chris.wailes@gmail.com.  Reviewed by delesley@google.com.

llvm-svn: 192934