I am working on analyzing arrays for dimensions and inferring iteration space.
While going through this i found example
Compiler did not warn about extended index in first dimension. Considering arrays are decayed
into pointer, Will issuing this as error be false positive?
By looking at this it looks like easy problem to solve at AST level. What is challenge in this analysis?