| /* Integration test of how the execution path looks for |
| -Wanalyzer-infinite-recursion. */ |
| |
| /* { dg-additional-options "-fdiagnostics-show-path-depths" } */ |
| /* { dg-additional-options "-fdiagnostics-path-format=inline-events -fdiagnostics-show-caret" } */ |
| |
| void foo (int flag) |
| { |
| if (flag) |
| foo (flag); /* { dg-warning "infinite recursion" } */ |
| } |
| |
| /* { dg-begin-multiline-output "" } |
| foo (flag); |
| ^~~~~~~~~~ |
| 'foo': events 1-4 (depth 1) |
| | |
| | void foo (int flag) |
| | ^~~ |
| | | |
| | (1) initial entry to 'foo' |
| | |
| | if (flag) |
| | ~ |
| | | |
| | (2) following 'true' branch (when 'flag != 0')... |
| | foo (flag); |
| | ~~~~~~~~~~ |
| | | |
| | (3) ...to here |
| | (4) calling 'foo' from 'foo' |
| | |
| +--> 'foo': events 5-6 (depth 2) |
| | |
| | void foo (int flag) |
| | ^~~ |
| | | |
| | (5) recursive entry to 'foo'; previously entered at (1) |
| | (6) apparently infinite recursion |
| | |
| { dg-end-multiline-output "" { target c } } */ |
| /* { dg-begin-multiline-output "" } |
| foo (flag); |
| ~~~~^~~~~~ |
| 'void foo(int)': events 1-4 (depth 1) |
| | |
| | void foo (int flag) |
| | ^~~ |
| | | |
| | (1) initial entry to 'foo' |
| | |
| | if (flag) |
| | ~~ |
| | | |
| | (2) following 'true' branch (when 'flag != 0')... |
| | foo (flag); |
| | ~~~~~~~~~~ |
| | | |
| | (3) ...to here |
| | (4) calling 'foo' from 'foo' |
| | |
| +--> 'void foo(int)': events 5-6 (depth 2) |
| | |
| | void foo (int flag) |
| | ^~~ |
| | | |
| | (5) recursive entry to 'foo'; previously entered at (1) |
| | (6) apparently infinite recursion |
| | |
| { dg-end-multiline-output "" { target c++ } } */ |
