HomePhabricator

[Analyzer][VLASize] Support multi-dimensional arrays.

Authored by balazske on Apr 14 2020, 12:20 AM.

Description

[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

Details

Committed
balazskeApr 14 2020, 1:26 AM
Reviewer
Szelethus
Differential Revision
D77305: [Analyzer][VLASize] Support multi-dimensional arrays.
Parents
rG99aea5792841: [libc] Add very basic stdio FILE and fwrite
Branches
Unknown
Tags
Unknown