Main Content

MISRA C:2012 Rule 20.3

The #include directive shall be followed by either a <filename> or "filename" sequence

expand all in page

Description

Rule Definition

The #include directive shall be followed by either a <filename> or "filename" sequence.

Rationale

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"

Polyspace Implementation

Polyspace® reports a violation of this rule if an #include directive is not followed by either <file> or "filename", where:

  • <file> is a valid header file

  • "filename" is the name of a file or a path to a file

Troubleshooting

If you expect a rule violation but do not see it, refer to Diagnose Why Coding Standard Violations Do Not Appear as Expected.

Examples

expand all

This example shows compliant #include directives that follow the permissible forms. Polyspace does not report a violation if the #include follows a permissible form after macro replacement. Violations are reported for malformed #include directives that do not follow the permissible forms.

#include"incguard.h"     //Compliant
#include<incguard.h>     //Compliant

#define MH "myheader.h"
#define STR <string>    //Compliant
#include MH             //Compliant
#include STR            //Compliant

#include myfile.h       //Noncompliant
#include iostream       //Noncompliant
#include math.h         //Noncompliant
#include "math.h>       //Noncompliant
#include >myHeader.h<   //Noncompliant
#include <math.h        //Noncompliant
#include math.h>        //Noncompliant

Check Information

Group: Preprocessing Directives
Category: Required
AGC Category: Required

See Also

Topics