1    	/*
2    	  (c) 2003-2008, Coverity, Inc.  All rights reserved worldwide.
3    	  The information contained in this file is the proprietary and confidential
4    	  information of Coverity, Inc. and its licensors, and is supplied subject to,
5    	  and may be used only by Coverity customers in accordance with the terms and
6    	  conditions of a previously executed license agreement between Coverity and that
7    	  customer.
8    	*/
9    	
10   	/* user_nodefs.h
11   	 *
12   	 * Add company-specific nodefs here.  As the documentation for Prevent
13   	 * describes, a nodef changes a function-style macro into a function
14   	 * call.  The benefit of this change is that Prevent cannot identify
15   	 * macro names during the analysis, but it can identify function
16   	 * calls.  Thus, if, for example, you want to configure a
17   	 * company-specific assert macro, you will first need to convert that
18   	 * macro into a function call, then you will need to use the
19   	 * cov-make-library utility to create a model for the new function
20   	 * call.
21   	 *
22   	 * NOTE: In C++, it is critical that you create prototypes for the new
23   	 * function calls that you are creating with the #nodef directive.  If
24   	 * you #nodef my_assert, then you must make prototypes for every
25   	 * possible type signature of my_assert.  Because C++ allows
26   	 * overloading, though, it is perfectly fine to have more than one
27   	 * prototype for a single function call.
28   	 */
29   	
30   	/** Enter company-specific nodefs here:
31   	#nodef my_assert
32   	...
33   	**/
34