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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
