[PATCH] D39803: [analyzer] pr34766: Fix a crash on explicit construction of std::initializer_list.

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Nov 8 15:36:32 PST 2017

george.karpenkov added a comment.

I think I lack context to completely get what is going on here: I assume we don't model the assignment here?

Comment at: lib/StaticAnalyzer/Core/ExprEngineC.cpp:533
-  if (isa<CXXConstructExpr>(Init)) {
+  if (isa<CXXConstructExpr>(Init) || isa<CXXStdInitializerListExpr>(Init)) {
     // No work needed. Just pass the value up to this expression.
Empty "if" looks weird, why not just negate the condition, and then you could get rid of "else"?


More information about the cfe-commits mailing list