Ambiguous grammar rules of foreach

[mhtsai208]

All foreach grammar rules (activity_foreach_stmt, foreach_constraint_item, and procedural_foreach_stmt) are ambiguous. Consider the grammar rule below (terminal symbols are enclosed in double quotes).

procedural_foreach_stmt ::= foreach "(" [ iterator_identifier ":" ] expression [ "[" index_identifier "]" ] ")" procedural_stmt

Assume there is an integer k and a map m.

int k = 0;
map< int, map<int, int> > m = { 0: {0: 0, 1: 1} };

Then the following statement is ambiguous.

foreach (v : m[k]) ...

There are two interpretations.

1. for each value v with index k in m (index_identifier = k in this case)
2. for each value v in m[k] (i.e., m[0]) (no index_identifier in this case)

 

[karthickg]

It is a valid point. Have forwarded your question to the work-group.