MISRA C:2025 Rule 8.5

在此示例中，外部函数 func2() 的声明不合规，因为它出现在非头文件中。其他外部对象和函数的声明均出现在头文件中，符合此规则。要修复此问题，请在头文件中声明 func2()。

头文件：

/* header.h */
extern int var;
extern void func1(void);   /* Compliant */

源文件：

/* module.c */
#include "header.h"

extern void func2(void);   /* Noncompliant */

/* Definitions */
int var = 0;
void func1(void) {}

在此示例中，函数 func() 在 header1.h 中声明，并在 header2.h 中调用。在 module2.c 中，虽然包含了文件 header2.h，但未包含 header1.h，这可能是无意中造成的。由于 module2.c 中包含对 func() 的调用但不包含声明，编译器会在编译期间为该函数生成一个隐式声明。文件 module1.c 包含具有显式声明的 header1.h。同一个外部函数同时具有显式声明和隐式声明不符合此规则。Polyspace 会引发违规。Polyspace 会报告缺陷。在结果详细信息部分中，Polyspace 会标记：

                  //header1.h
extern void func(void);

                  //header2.h

#define __STATIC_INLINE static inline

__STATIC_INLINE void Reset(void)
{
	//...
	func(); //Noncompliant
}

                  //module1.c
#include "header2.h"
#include "header1.h"

void foo(void)
{
}

                  //module2.c
#include "header2.h"

void bar(void)
{
}

要修复此违规，请在 module2.c 中包含文件 header1.h。

在此示例中，函数 func() 的声明位于头文件 header.h 中。源文件 module1.c 和 module2.c 包含对 func() 的调用，但并未包含该头文件，这可能是由于疏忽所致。因此，编译器创建了 func() 的两个隐式声明，从而导致违反了此规则。Polyspace 会报告违规。在结果详细信息部分中，Polyspace 会标记触发创建隐式声明的函数调用。

                  //header.h

extern void func(void);

                  //module1.c

void foo(void)
{
	func(); //Noncompliant
}

                  //module2.c

void bar(void)
{
	func(); 
}

要修复此违规，请在 module1.c 和 module2.c 中包含文件 header.h。