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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
