[all-commits] [llvm/llvm-project] cb1eeb: [Analyzer][VLASizeChecker] Check VLA size in typed...

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

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: cb1eeb42c03c31d4dadd00dbaec693e6d7516099
      https://github.com/llvm/llvm-project/commit/cb1eeb42c03c31d4dadd00dbaec693e6d7516099
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2020-05-14 (Thu, 14 May 2020)

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

  Log Message:
  -----------
  [Analyzer][VLASizeChecker] Check VLA size in typedef and sizeof.

Summary:
The check of VLA size was done previously for variable declarations
(of VLA type) only. Now it is done for typedef (and type-alias)
and sizeof expressions with VLA too.

Reviewers: Szelethus, martong

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/D79072