[PATCH] D49213: [analyzer] pr38072: Suppress an assertion failure for eliding the same destructor twice due to the default argument problem.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.

================
Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:432-433
   ConstructedObjectKey Key(Item, LC->getCurrentStackFrame());
   // FIXME: Currently the state might already contain the marker due to
   // incorrect handling of temporaries bound to default parameters.
   assert(!State->get<ObjectsUnderConstruction>(Key) ||
----------------
Same problem here.


Repository:
  rC Clang

https://reviews.llvm.org/D49213



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