[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

[Jordan Rose]

On Sep 6, 2012, at 14:54 , John McCall <rjmccall at apple.com> wrote:

> 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();

I actually have no idea what happens here. Or even for 'foo->A::bar()'. I'll have to look into that.

Thanks, John.
Jordan