> > 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

Reply via email to