[Analyzer] Include typedef statements in CFG build.
authorBalázs Kéri <1.int32@gmail.com>
Mon, 27 Apr 2020 07:45:38 +0000 (09:45 +0200)
committerBalázs Kéri <1.int32@gmail.com>
Mon, 27 Apr 2020 10:36:26 +0000 (12:36 +0200)
commit3b9b3d56efaa6f611458899d5a1cdc74f36d72a4
tree12b4721e6833c7bd9db8157852a785152710d2a7
parent2c046c422f8bc5a879c413eba1629e3753939ac5
[Analyzer] Include typedef statements in CFG build.

Summary:
Array size expressions in typedef statements with a VLA
(variable-length array) are handled from now as in plain
(non-typedef) VLA declarations.
Type-aliases with VLA are handled too
(but main focus is on C code).

Reviewers: Szelethus, aaron.ballman, NoQ, xazax.hun

Reviewed By: aaron.ballman, xazax.hun

Subscribers: rnkovacs, NoQ, efriedma, 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/D77809
clang/lib/Analysis/CFG.cpp
clang/test/Analysis/cfg.c [new file with mode: 0644]
clang/test/Analysis/cfg.cpp