HomePhabricator

[Analyzer][VLASizeChecker] Check VLA size in typedef and sizeof.

Authored by balazske on May 14 2020, 12:48 AM.

Description

[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

Details

Committed
balazskeMay 14 2020, 5:30 AM
Reviewer
Szelethus
Differential Revision
D79072: [Analyzer][VLASizeChecker] Check VLA size in typedef and sizeof.
Parents
rGc73a491d10b8: [libcxx][span] Remove tuple interface
Branches
Unknown
Tags
Unknown