[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:2012 Rules applicable to message 0813:

Rule-1.3  (Required) There shall be no occurrence of undefined or critical unspecified behaviour
Rule-20.2  (Required) The ', " or \ characters and the /* or // character sequences shall not occur in a header file name

See also:

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