[PATCH] Model Constructor corresponding to a new call

[Jordan Rose]

  Let's not worry about the constructor for now. I imagine it will look something like what you've done (I just skimmed it), but for now let's just get the call happening in the right place. You can always use something like `clang_analyzer_checkInlined(true)` to make sure it's actually happening.

  I appreciate that it looks fairly simple to get that part working. :-)

  Later, I think we'll want the default region stuff (the "standard global new" model) to appear in VisitCXXAllocatorCall, or even to be in a checker (which would mean using evalCall instead of defaultEvalCall), so that by the time we get to the constructor we can rely on always having a region.


================
Comment at: lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:375
@@ +374,3 @@
+                                Call->getSourceRange().getBegin(),
+                                "Error evaluating destructor");
+
----------------
Don't forget to change this stack trace message. :-)


http://llvm-reviews.chandlerc.com/D2616