[PATCH] D77809: [Analyzer] Include typedef statements in CFG build.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Apr 15 16:34:10 PDT 2020


NoQ added a comment.

In D77809#1984689 <https://reviews.llvm.org/D77809#1984689>, @efriedma wrote:

> > Where is the size expression actually evaluated? Is it evaluated at the point of the typedef or at the point of the variable definition?
>
> At the point of the typedef.


Whoa, indeed. Nice language.

I also see that the typedef constitutes a `DeclStmt` in the AST. Can we include that in the CFG as well? In the static analyzer that'll be the place where we actually start tracking that typedef, because without it the size expression value will be quickly cleaned up.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D77809/new/

https://reviews.llvm.org/D77809





More information about the cfe-commits mailing list