[cfe-commits] [patch]interfile analysis

Ted Kremenek kremenek at apple.com
Fri Jul 16 23:14:52 PDT 2010

Looks great!  Much simpler.

One comment:

  if (N)

is the same as:


since the ExplodedNodeSet::Add() does the null check as well.

On Jul 15, 2010, at 7:56 PM, Zhongxing Xu wrote:

> Hi Ted,
> I think using AnalysisContext in CallEnter is a good idea. New patch
> implemented this. It's simpler than the original one.
> Now we stop at GRCallEnterNodeBuilder::GenerateNode(). Here if the
> CallEnter has a different translation unit, a new engine is to be
> created.
> <b.patch>

More information about the cfe-commits mailing list