| /* 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 mutual_2 (void); |
| |
| void mutual_1 (void) |
| { |
| mutual_2 (); /* { dg-warning "infinite recursion" } */ |
| } |
| |
| void mutual_2 (void) |
| { |
| mutual_1 (); /* { dg-warning "infinite recursion" } */ |
| } |
| |
| |
| /* { dg-begin-multiline-output "" } |
| mutual_2 (); |
| ^~~~~~~~~~~ |
| 'mutual_2': events 1-2 (depth 1) |
| | |
| | void mutual_2 (void) |
| | ^~~~~~~~ |
| | | |
| | (1) initial entry to 'mutual_2' |
| | |
| | mutual_1 (); |
| | ~~~~~~~~~~~ |
| | | |
| | (2) calling 'mutual_1' from 'mutual_2' |
| | |
| +--> 'mutual_1': events 3-4 (depth 2) |
| | |
| | void mutual_1 (void) |
| | ^~~~~~~~ |
| | | |
| | (3) entry to 'mutual_1' |
| | |
| | mutual_2 (); |
| | ~~~~~~~~~~~ |
| | | |
| | (4) calling 'mutual_2' from 'mutual_1' |
| | |
| +--> 'mutual_2': events 5-6 (depth 3) |
| | |
| | void mutual_2 (void) |
| | ^~~~~~~~ |
| | | |
| | (5) recursive entry to 'mutual_2'; previously entered at (1) |
| | (6) apparently infinite chain of mutually-recursive function calls, consuming 2 stack frames per recursion |
| | |
| { dg-end-multiline-output "" } */ |
| |
| |
| /* { dg-begin-multiline-output "" } |
| mutual_1 (); |
| ^~~~~~~~~~~ |
| 'mutual_1': events 1-2 (depth 1) |
| | |
| | void mutual_1 (void) |
| | ^~~~~~~~ |
| | | |
| | (1) initial entry to 'mutual_1' |
| | |
| | mutual_2 (); |
| | ~~~~~~~~~~~ |
| | | |
| | (2) calling 'mutual_2' from 'mutual_1' |
| | |
| +--> 'mutual_2': events 3-4 (depth 2) |
| | |
| | void mutual_2 (void) |
| | ^~~~~~~~ |
| | | |
| | (3) entry to 'mutual_2' |
| | |
| | mutual_1 (); |
| | ~~~~~~~~~~~ |
| | | |
| | (4) calling 'mutual_1' from 'mutual_2' |
| | |
| +--> 'mutual_1': events 5-6 (depth 3) |
| | |
| | void mutual_1 (void) |
| | ^~~~~~~~ |
| | | |
| | (5) recursive entry to 'mutual_1'; previously entered at (1) |
| | (6) apparently infinite chain of mutually-recursive function calls, consuming 2 stack frames per recursion |
| | |
| { dg-end-multiline-output "" } */ |