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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to