Re: [PATCH v2] implement -Winfinite-recursion [PR88232]

2021-11-23 Thread Jeff Law via Gcc-patches
On 11/11/2021 2:46 PM, Martin Sebor via Gcc-patches wrote: Attached is a v2 of the solution I posted earlier this week with a few tweaks made after a more careful consideration of the problem and possible false negatives and positives. 1) It avoids warning for [apparently infinitely recursive

PING [PATCH v2] implement -Winfinite-recursion [PR88232]

2021-11-19 Thread Martin Sebor via Gcc-patches
Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-November/584205.html On 11/11/21 2:46 PM, Martin Sebor wrote: Attached is a v2 of the solution I posted earlier this week with a few tweaks made after a more careful consideration of the problem and possible false negatives and positives. 1)

[PATCH v2] implement -Winfinite-recursion [PR88232]

2021-11-11 Thread Martin Sebor via Gcc-patches
Attached is a v2 of the solution I posted earlier this week with a few tweaks made after a more careful consideration of the problem and possible false negatives and positives. 1) It avoids warning for [apparently infinitely recursive] calls in noreturn functions where the recursion may be pre

Re: [PATCH v2] implement -Winfinite-recursion [PR88232]

2021-11-11 Thread Marek Polacek via Gcc-patches
On Thu, Nov 11, 2021 at 11:21:01AM -0700, Martin Sebor wrote: > On 11/10/21 2:27 PM, Marek Polacek wrote: > > On Tue, Nov 09, 2021 at 09:28:43PM -0700, Martin Sebor via Gcc-patches > > wrote: > > > The attached patch adds support to the middle end for detecting > > > infinitely recursive calls. T

[PATCH v2] implement -Winfinite-recursion [PR88232]

2021-11-11 Thread Martin Sebor via Gcc-patches
On 11/10/21 2:27 PM, Marek Polacek wrote: On Tue, Nov 09, 2021 at 09:28:43PM -0700, Martin Sebor via Gcc-patches wrote: The attached patch adds support to the middle end for detecting infinitely recursive calls. The warning is controlled by the new -Winfinite-recursion option. The option name