[clang] [llvm] [clang][RISCV] Emit RISCV function-signature-based CFI label in llvm::Function metadata (PR #111661)

[Ming-Yi Lai via cfe-commits]

mylai-mtk wrote:

> For missing prototypes, we can statically detect calls which pass arguments to function without a prototype. Generating code we know will never work, without a diagnostic, is a bad idea.

@efriedma-quic If what you need to see are diagnostics, I can add them in this PR. I already have this particular one in my internal branch since I need it to filter out those tests that are expected to fail due to passing arguments to unprototyped functions.

> For the type merging issue, we can't detect it completely reliably, but we can detect function definitions which aren't compatible with the corresponding function declaration, and diagnose that.

I think "function definitions which aren't compatible with the corresponding function declaration" is an error and should already be diagnosed?



https://github.com/llvm/llvm-project/pull/111661