The #include directive shall be followed by either a <filename> or "filename" sequence
The #include directive shall be followed by either a <filename> or "filename" sequence.
This rule applies only after macro replacement.
The behavior is undefined if an #include directive
does not use one of the following forms:
#include <filename>
#include "filename"
‘#include' expects "FILENAME" or <FILENAME>
‘#include_next' expects "FILENAME" or <FILENAME>
‘#include' does not expect string concatenation.
‘#include_next' does not expect string concatenation.
If you expect a rule violation but do not see it, refer to the documentation of Polyspace® Code Prover™ or Polyspace Code Prover Server™.
| Group: Preprocessing Directives |
| Category: Required |
| AGC Category: Required |