[cfe-commits] r53891 - in /cfe/trunk: include/clang/AST/Attr.h include/clang/Analysis/PathSensitive/BugReporter.h include/clang/Analysis/PathSensitive/GRAuditor.h include/clang/Analysis/PathSensitive/GRCoreEngine.h include/clang/Analysis/PathSensitive/GRSimpleAPICheck.h include/clang/Analysis/PathSensitive/ValueState.h lib/Analysis/BasicObjCFoundationChecks.cpp lib/Analysis/GRExprEngine.cpp lib/Analysis/GRSimpleVals.cpp lib/Analysis/ValueState.cpp test/Analysis/null-deref-ps.c

[Chris Lattner]

On Jul 21, 2008, at 5:46 PM, Ted Kremenek wrote:

> Author: kremenek
> Date: Mon Jul 21 19:46:16 2008
> New Revision: 53891
>
> URL: http://llvm.org/viewvc/llvm-project?rev=53891&view=rev
> Log:
> Added path-sensitive checking for null pointer values passed to  
> function arguments marked nonnull.
> This implements <rdar://problem/6069935>

Nice!  Can you add a blurb about this to the checker web page?  It  
would be useful to have a section on "things you can do to your code  
to make better use of the checker" or something.  What do you think?

-Chris