[PATCH] D118119: [clang][dataflow] Add a transfer function for InitListExpr

[Stanislav Gatev via Phabricator via cfe-commits]

sgatev added inline comments.


================
Comment at: clang/lib/Analysis/FlowSensitive/Transfer.cpp:421
+    QualType Type = S->getType();
+    assert(Type->isStructureOrClassType());
+
----------------
xazax.hun wrote:
> Why do we expect this assertion to be true? Aren't `InitListExpr`s also used to initialize arrays?
Yes, but I don't plan to add support for array initialization in this patch so let me restructure the code and add a FIXME.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118119