rniwa wrote:
> You should add a test for mutually recursive functions. I suspect something
> like this doesn't work:
>
> ```c++
> int non_trivial();
> int f(bool b) { return g(!b) + non_trivial(); }
> int g(bool b) { return b ? f(b) : 1; }
>
> getFieldTrivial().f(true); // expected-warning {{...}}
> getFieldTrivial().g(true); // expected-warning {{...}}
> ```
Duh, of course. Thanks for pointing out the obvious flaw.
https://github.com/llvm/llvm-project/pull/91876
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
