[PATCH] D139544: [clang][dataflow] Add support for structured bindings of tuple-like types.

Domján Dániel via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Dec 9 07:30:43 PST 2022


isuckatcs added a comment.

> Sorry, I should fix my response above: I *never* see the BindingDecls in the CFG, whether or not they are used.

It was my fault, I was wrong with the wording. I meant the `DeclRefExpr`s that refer to the `BindingDecl`s. You can 
access the `BindingDecl`s through the `DeclRefExpr`s, they are not present in the CFG directly.

That's also how the static analyzer handles the `BindingDecl`s in `ExprEngine::VisitCommonDeclRefExpr()`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D139544



More information about the cfe-commits mailing list