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