[cfe-dev] Compile time Array Bounds Analysis in LLVM

[Mahesh Attarde via cfe-dev]

Hi
 I am working on analyzing arrays for dimensions and inferring iteration
space.
While going through this i found example

int funct(){
int a[6][6][6];
return a[8][0][0];
}

https://godbolt.org/g/S9pKqq

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?

Thanks
Mahesh
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20171220/96470222/attachment.html>