[previous] 3437 [next] [u] The assert macro has been suppressed to call a function of that name.
Implicitly undefined REFERENCE - ISO:C90-7.2 Diagnostics <assert.h>

If the 'assert' macro is suppressed in order to call a function of that name, the result will be undefined.

For example:


/*PRQA S 841,2017,3408,3447 ++*/

#undef assert                           /* Message 3438 */

extern void assert(void);

extern void foo(void)
{
   assert();                            /* Message 3437 */
}


MISRA-C:2004 Rules applicable to message 3437:

Rule  1.2  (Required) No reliance shall be placed on undefined or unspecified behaviour.


See also:

QA·C Source Code Analyser 8.1
MISRA-C:2004 Compliance Module 3.2
© 2012 Programming Research.
www.programmingresearch.com
Personality Groups | Glossary | Message Index | MISRA-C:2004 Rule Index Contents