https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90746
Alexander Monakov changed:
What|Removed |Added
CC||amonakov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90746
--- Comment #4 from CVS Commits ---
The master branch has been updated by Alexander Monakov :
https://gcc.gnu.org/g:cef0c0bb13e2953b41caca0506ab1d41c56f29de
commit r14-457-gcef0c0bb13e2953b41caca0506ab1d41c56f29de
Author: Alexander Monakov
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90746
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90746
--- Comment #3 from Dmitry Vyukov ---
> It would probably useful to have __attribute__((notailcall)) which the
> sanitizers then could stick on the function types.
It should be on _declaration_, right? Sanitizers only provide a definition. The
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90746
--- Comment #2 from Jakub Jelinek ---
PR66826 is another bug asking for a similar attribute.
Of course, for a builtin we can check that manually in tree-tailcall.c, but for
user provided functions we need an attribute if we want to support that.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90746
--- Comment #1 from Richard Biener ---
There isn't. It would probably useful to have __attribute__((notailcall))
which the sanitizers then could stick on the function types. We could
also make noinline imply no tailcalls, noinline is already