[all-commits] [llvm/llvm-project] 37ac1c: [Analyzer][VLASize] Support multi-dimensional arrays.

[Balázs Kéri via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 37ac1c19bed7b7d22e9312dfa61e7a4506ed4e49
      https://github.com/llvm/llvm-project/commit/37ac1c19bed7b7d22e9312dfa61e7a4506ed4e49
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2020-04-14 (Tue, 14 Apr 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp
    M clang/test/Analysis/vla.c

  Log Message:
  -----------
  [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