[cfe-dev] Extra join points in CFG?

[Xu Zhongxing]

Hi Ted,

What do you mean by "does not properly model C++ destructors at all"?
Could you give me a test case? Thanks.

于 2011/12/22 6:51, Ted Kremenek 写道:
> Brief update: I have looked at this, and it turns out to be a bit more complicated then I anticipated.  I discovered through investigation that the way we currently model '&&' and '||' in the CFG does not properly model C++ destructors at all, and fixing that may require changing some fairly pervasive invariants.  I think we need to do this, but it will take a bit longer than I originally anticipated...
>