2013/8/27 Kalle Olavi Niemitalo <k...@iki.fi>: > Ilya Enkovich <enkovich....@gmail.com> writes: > >> - When we pass (return) pointer on register, we use the next >> available bound register to pass (return) bounds > > From the wording, it seems function pointers get bounds too. > If so, it might be good to state that explicitly. > I suppose they would be all-of-memory bounds though, > due to the lack of hardware support for checking them. My wording may seem ambiguous for function pointers but in ABI document register classes description enumerates all types assigned to each class. I think it does not allow to assume other class than POINTER for function pointers.
Thanks, Ilya
