diff options
| author | Martin Sebor <msebor@redhat.com> | 2021-11-23 15:30:29 -0700 |
|---|---|---|
| committer | Martin Sebor <msebor@redhat.com> | 2021-11-23 15:36:03 -0700 |
| commit | 30ba058f77eedfaf7a0582f5d42aff949710bce4 (patch) | |
| tree | a2501014a7faf3b5a4dd6a64f1d8ee7a01733904 /gcc/doc | |
| parent | c59ec55c3459fba619e05ee7f59480b71e85ffd7 (diff) | |
| download | gcc-30ba058f77eedfaf7a0582f5d42aff949710bce4.zip gcc-30ba058f77eedfaf7a0582f5d42aff949710bce4.tar.gz gcc-30ba058f77eedfaf7a0582f5d42aff949710bce4.tar.bz2 | |
Implement -Winfinite-recursion [PR88232].
Resolves:
PR middle-end/88232 - Please implement -Winfinite-recursion
gcc/ChangeLog:
PR middle-end/88232
* Makefile.in (OBJS): Add gimple-warn-recursion.o.
* common.opt: Add -Winfinite-recursion.
* doc/invoke.texi (-Winfinite-recursion): Document.
* passes.def (pass_warn_recursion): Schedule a new pass.
* tree-pass.h (make_pass_warn_recursion): Declare.
* gimple-warn-recursion.c: New file.
gcc/c-family/ChangeLog:
PR middle-end/88232
* c.opt: Add -Winfinite-recursion.
gcc/testsuite/ChangeLog:
PR middle-end/88232
* c-c++-common/attr-used-5.c: Suppress valid warning.
* c-c++-common/attr-used-6.c: Same.
* c-c++-common/attr-used-9.c: Same.
* g++.dg/warn/Winfinite-recursion-2.C: New test.
* g++.dg/warn/Winfinite-recursion-3.C: New test.
* g++.dg/warn/Winfinite-recursion.C: New test.
* gcc.dg/Winfinite-recursion-2.c: New test.
* gcc.dg/Winfinite-recursion.c: New test.
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/invoke.texi | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 57675a4..36fe96b 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -359,6 +359,7 @@ Objective-C and Objective-C++ Dialects}. -Wignored-qualifiers -Wno-incompatible-pointer-types @gol -Wimplicit -Wimplicit-fallthrough -Wimplicit-fallthrough=@var{n} @gol -Wno-implicit-function-declaration -Wno-implicit-int @gol +-Winfinite-recursion @gol -Winit-self -Winline -Wno-int-conversion -Wint-in-bool-context @gol -Wno-int-to-pointer-cast -Wno-invalid-memory-model @gol -Winvalid-pch -Wjump-misses-init -Wlarger-than=@var{byte-size} @gol @@ -6194,6 +6195,14 @@ is only active when @option{-fdelete-null-pointer-checks} is active, which is enabled by optimizations in most targets. The precision of the warnings depends on the optimization options used. +@item -Winfinite-recursion +@opindex Winfinite-recursion +@opindex Wno-infinite-recursion +Warn about infinitely recursive calls. The warning is effective at all +optimization levels but requires optimization in order to detect infinite +recursion in calls between two or more functions. +@option{-Winfinite-recursion} is included in @option{-Wall}. + @item -Winit-self @r{(C, C++, Objective-C and Objective-C++ only)} @opindex Winit-self @opindex Wno-init-self |