John Regehr wrote:
I'm writing new pass substitute-class-template-param, which will substitute template parameter to some type or value, if it is the same in all instantiations,Great!If possible please coordinate with Yang who I think has done something with templates already?John
Yes, there are a couple of passes dealing with templates, but none of those target the one proposed by Konstantin. It's great that Konstantin is working on this!
- Yang
