Bison loop for conflict

Question

to solve the dangling else problem, I used the following solution:

stmt            : stmt_matched
                | stmt_unmatched
                ;
stmt_unmatch         


        

Answer 1

Not all for statements are matched. Consider, for example

 if (c) for (;;) if (d) ; else ;

So it is necessary to divide for statements into for_matched and for_unmatched. (And similarly with other compound statements such as while.)