[PATCH] D123198: [LibCalls] Add argument extension attributes to more functions.

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Apr 25 12:47:28 PDT 2022


efriedma added a comment.

In D123198#3472615 <https://reviews.llvm.org/D123198#3472615>, @jonpa wrote:

>> If we find an alias, I wouldn't trust that the alias points to a function with a real signature.
>
> , which to me looks like there must be a function defined or declared, provided as @Aliasee, with a function type..?

An alias has to point to something, but it could point to a variable.

> Would both the alias and Aliasee always come from the front end (and so be assumed to have the required attributes)...?

Even if there is a function, I wouldn't trust it has the right signature.  In general, we don't require that function declarations have the right signature.  (For example, you can write `struct A; struct A f(void), (*g)(void) = f;` in C.)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D123198/new/

https://reviews.llvm.org/D123198



More information about the llvm-commits mailing list