projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99aea57) | patch
[Analyzer][VLASize] Support multi-dimensional arrays.
authorBalázs Kéri <1.int32@gmail.com>
Tue, 14 Apr 2020 07:20:22 +0000 (09:20 +0200)
committerBalázs Kéri <1.int32@gmail.com>
Tue, 14 Apr 2020 08:26:51 +0000 (10:26 +0200)
commit37ac1c19bed7b7d22e9312dfa61e7a4506ed4e49
treeb29d0ce4c1fdadefb990362192898814932507cbtree | snapshot
parent99aea5792841ba48ebc427e1326631a584fc8b42commit | diff
[Analyzer][VLASize] Support multi-dimensional arrays.

Summary:
Check the size constraints for every (variable) dimension of the array.
Try to compute array size by multiplying size for every dimension.

Reviewers: Szelethus, martong, baloghadamsoftware, gamesh411

Reviewed By: Szelethus, martong

Subscribers: rnkovacs, xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gamesh411, Charusso, martong, ASDenysPetrov, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D77305
clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp diff | blob | history
clang/test/Analysis/vla.c diff | blob | history
Domain: System / Toolchain;