On Sep 6, 2012, at 1:37 PM, Jordan Rose wrote:
> Author: jrose
> Date: Thu Sep  6 15:37:08 2012
> New Revision: 163348
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=163348&view=rev
> Log:
> [analyzer] Don't attempt to devirtualize calls to base class destructors.

Or rather, such a call is inherently non-virtual.  Presumably you already
have some way to represent a non-virtual destructor call?  It's possible to
request this explicitly, e.g.:
  foo->A::~A();

John.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to