Interprocedural Constant Propagation

Hello,

I am trying to study how interprocedural constant propagation is
performed (theoretic as well as practical approaches). Any pointers about
latest literature or any other recent work?

(Does gcc perform any sort of interprocedural const. propagation?)

Thanks,
Bageshri Sathe.