The ', " or \ characters and the /* or // character sequences shall not occur in a header file name
The ', " or \ characters and the /* or // character sequences shall not occur in a header file name.
The program’s behavior is undefined if:
You use ', ", \, /* or // between <
> delimiters in a header name preprocessing token.
You use ', \, /* or // between " delimiters
in a header name preprocessing token.
Although \ results in undefined
behavior, many implementations accept / in its
place.
Polyspace® flags the characters ', ", \, /* or // between < and > in #include
<filename>.
Polyspace flags the characters ', \, /* or // between " and " in #include
"filename".
The ', "or \ characters and the /* or // character sequences shall not occur in a header file name.
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 |