> > What is the reason for using different names for return and indirect thunks > > at first place? > > > > These 2 thunks are identical. But one may want to provide an > alternate thunk only for > indirect branch and leaves return thunk alone. You can't do that if > both have the same > name.
Hmm, OK, what is the benefit to have two different thunks? It is just safety precaution so we could adjust one without adjusting the other in future? Honza