[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 */

See also:

QA·C Source Code Analyser 8.1.2
© 2013 Programming Research.
www.programmingresearch.com
Personality Groups | Glossary | Message Index Contents