| /* { dg-additional-options "-fno-analyzer-call-summaries -Wno-analyzer-too-complex" } */ | |
| /* A two-deep mutual recursion, with no limit, and | |
| failing to walk the list, thus leading to an infinite recursion. */ | |
| struct node | |
| { | |
| struct node *child; | |
| }; | |
| void foo (struct node *f); | |
| void bar (struct node *b) | |
| { | |
| foo (b); /* { dg-warning "infinite recursion" } */ | |
| } | |
| void foo (struct node *f) | |
| { | |
| if (f->child) | |
| /* Bug: should have recursed to f->child, not to f. */ | |
| bar (f); /* { dg-warning "infinite recursion" } */ | |
| } |