如何解决调用MPI函数传入特殊指针触发的-Wstringop-overread警告

问题原因 #

你自定义的access(none)属性声明不生效的核心原因是声明顺序错误：你先引入了<mpi.h>头文件，头文件中已经包含了MPI_Dist_graph_create_adjacent的原生声明，GCC会优先使用首次遇到的函数声明的属性配置，后续追加的同名函数声明不会覆盖已有的属性，所以你加的access(none)没有生效。

解决方案（按推荐优先级排序） #

方案1：局部屏蔽指定警告（最推荐，无侵入性）

在调用该MPI函数的代码段前后添加GCC诊断指令，仅关闭当前代码段的-Wstringop-overread警告，不会影响其他代码的告警检测，风险最低：

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wstringop-overread"
int rc = MPI_Dist_graph_create_adjacent(
  MPI_COMM_WORLD, nnb, nb_ranks, MPI_UNWEIGHTED, nnb,
  nb_ranks, MPI_UNWEIGHTED, MPI_INFO_NULL, no_reorder,
  &nb_comm);
#pragma GCC diagnostic pop

该方案不需要修改函数声明或全局编译参数，完全局部生效。

方案2：调整函数声明顺序

将带access(none)属性的函数声明放到<mpi.h>引入之前，配合前置声明MPI相关类型即可让自定义属性生效：

#if __GNUC__ >= 11
/* 前置声明MPI核心类型，保证函数声明可正常解析 */
typedef int MPI_Comm;
typedef struct _MPI_Info *MPI_Info;
extern
int MPI_Dist_graph_create_adjacent(MPI_Comm comm_old,
                                   int indegree,
                                   const int sources[],
                                   const int sourceweights[],
                                   int outdegree,
                                   const int destinations[],
                                   const int destweights[],
                                   MPI_Info info, int reorder,
                                   MPI_Comm *comm_dist_graph)
  __attribute__ ((access (none, 4), access (none, 7)));
#endif

#include <stdio.h>
#include <stdlib.h>
#include <mpi.h>

/* 后续其他代码不变 */

方案3：全局关闭警告（不推荐）

如果项目中存在大量类似的MPI特殊指针调用，可以在编译参数中添加-Wno-stringop-overread全局关闭该类警告，但会丢失对其他真实内存越界访问场景的检测能力，非必要不建议使用。

内容的提问来源于stack exchange，提问作者TJahns