/* user_nodefs.h
 *
 * Add company-specific nodefs here.  As the documentation for Prevent
 * describes, a nodef changes a function-style macro into a function
 * call.  The benefit of this change is that Prevent cannot identify
 * macro names during the analysis, but it can identify function
 * calls.  Thus, if, for example, you want to configure a
 * company-specific assert macro, you will first need to convert that
 * macro into a function call, then you will need to use the
 * cov-make-library utility to create a model for the new function
 * call.
 *
 * NOTE: In C++, it is critical that you create prototypes for the new
 * function calls that you are creating with the #nodef directive.  If
 * you #nodef my_assert, then you must make prototypes for every
 * possible type signature of my_assert.  Because C++ allows
 * overloading, though, it is perfectly fine to have more than one
 * prototype for a single function call.
 */

/** Enter company-specific nodefs here:
#nodef my_assert
...
**/
