[previous] 0813 [next] [U] Using any of the characters ' " or /* in '#include <%s>' gives undefined behaviour.
Explicitly undefined REFERENCE - ISO:C90-6.1.7 Header Names

The name of the file in this #include <...> statement contains characters which are not permitted.

The characters '   ,   " and the sequence /* should not be used as part of the filename in a #include statement.

For example: 


/*PRQA S 553, 2017 ++*/

#include <fred's-header.h>        /* Message 0813 and also 0815 and 0818 */

MISRA-C:2004 Rules applicable to message 0813:

Rule  1.2  (Required) No reliance shall be placed on undefined or unspecified behaviour.
Rule  19.2  (Advisory) Non-standard characters should not occur in header file names in #include directives.

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