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

Mahesh Attarde via cfe-dev cfe-dev at lists.llvm.org
Tue Dec 19 20:51:24 PST 2017

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

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


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?

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

More information about the cfe-dev mailing list