<div dir="ltr"><div><div><div><div><div><div><div>Hi<br></div> I am working on analyzing arrays for dimensions and inferring iteration space.<br></div>While going through this i found example<br><br><div style="color:rgb(0,0,0);background-color:rgb(255,255,254);font-family:Fira Mono;font-weight:normal;font-size:14px;line-height:19px;white-space:pre"><div><span style="color:rgb(0,0,255)">int</span><span style="color:rgb(0,0,0)"> funct(</span><span style="color:rgb(0,0,255)"></span><span style="color:rgb(0,0,0)">){</span></div><div><span style="color:rgb(0,0,0)">  </span><span style="color:rgb(0,0,255)">int</span><span style="color:rgb(0,0,0)"> a[</span><span style="color:rgb(9,136,90)">6</span><span style="color:rgb(0,0,0)">][</span><span style="color:rgb(9,136,90)">6</span><span style="color:rgb(0,0,0)">][</span><span style="color:rgb(9,136,90)">6</span><span style="color:rgb(0,0,0)">];</span></div><div><span style="color:rgb(0,0,0)">  </span><span style="color:rgb(0,0,255)">return</span><span style="color:rgb(0,0,0)"> a[</span><span style="color:rgb(9,136,90)">8</span><span style="color:rgb(0,0,0)">][</span><span style="color:rgb(9,136,90)">0</span><span style="color:rgb(0,0,0)">][</span><span style="color:rgb(9,136,90)">0</span><span style="color:rgb(0,0,0)">];</span></div><div><span style="color:rgb(0,0,0)">}</span></div></div><br></div><div><a href="https://godbolt.org/g/S9pKqq">https://godbolt.org/g/S9pKqq</a><br></div><div> <br></div>Compiler did not warn about extended index in first dimension. Considering arrays are decayed<br></div>into pointer,  Will issuing this as error be false positive?<br></div>By looking at this it looks like easy problem to solve  at AST level. What is challenge in this analysis?<br></div><div><br></div>Thanks<br></div>Mahesh<br></div>