[cfe-commits] r163348 - in /cfe/trunk: include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp lib/StaticAnalyzer/Core/CallEvent.cpp lib/StaticAnalyzer/Core/ExprEngine.cpp lib/StaticAnalyzer/Core/ExprEngineCXX.cpp test/Analysis/dtor.cpp

[John McCall]

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.