[PATCH] D153409: BEGIN_PUBLIC [clang][dataflow] Treat fields of anonymous records as being part of their parent.

Martin Böhme via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 21 04:30:58 PDT 2023


mboehme marked an inline comment as done.
mboehme added inline comments.


================
Comment at: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp:5433
+        // that `i` is modeled.
+        S->getChild(*IDecl);
+      });
----------------
sammccall wrote:
> assert that the result is non-null?
`getChild()` returns a reference, so the result can't be null. It asserts internally that the child exists, so if the child doesn't exist, we'll get an assertion failure.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153409



More information about the cfe-commits mailing list