__builtin_memset的-Warray-bounds 警告

一、做了啥？

// 定义了一个结构体
typedef struct _A
{UINT32 a1;UINT32 a2;
} A;// 声明了一个结构体变量
A a_temp;// 初始化a_temp
for (i = 0; i < sizeof(A)/sizeof(UINT32); i++)
{*(&(a_temp.a1)+ i) = 0;
}

2.出现了什么现象
用o2编译，没有任何问题。
用o3编译，报-Warray-bounds 警告，警告内容如下：

cc1.exe: warning: '__builtin_memset' offset [x, x] from the object at 'A' is out of the bounds of referenced subobject 'a1' with type 'long unsigned int' at offset 0 [-Warray-bounds]
3.原因
应该是编译器的bug，https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92879
O3优化时，for循环初始化，直接用memset代替了，导致出现bug。但具体啥原因，不清楚编译器咋造成的。

另外类似的问题有

[ 72%] Building CXX object smi_lib/CMakeFiles/vastai_smi_static.dir/C_/msys64/home/haoyf/common/smi/vatools_vacc.cpp.obj
In file included from C:/msys64/mingw64/include/c++/12.1.0/vector:60,from C:\msys64\home\haoyf\common\smi\vatools_smi.h:17,from C:\msys64\home\haoyf\common\smi\vatools_smi.cpp:11:
In static member function 'static _Tp* std::__copy_move<_IsMove, true, std::random_access_iterator_tag>::__copy_m(const _Tp*, const _Tp*, _Tp*) [with _Tp = long long unsigned int; bool _IsMove = true]',inlined from '_OI std::__copy_move_a2(_II, _II, _OI) [with bool _IsMove = true; _II = long long unsigned int*; _OI = long long unsigned int*]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_algobase.h:495:30,inlined from '_OI std::__copy_move_a1(_II, _II, _OI) [with bool _IsMove = true; _II = long long unsigned int*; _OI = long long unsigned int*]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_algobase.h:522:42,inlined from '_OI std::__copy_move_a(_II, _II, _OI) [with bool _IsMove = true; _II = long long unsigned int*; _OI = long long unsigned int*]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_algobase.h:529:31,inlined from '_OI std::copy(_II, _II, _OI) [with _II = move_iterator<long long unsigned int*>; _OI = long long unsigned int*]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_algobase.h:620:7,inlined from 'static _ForwardIterator std::__uninitialized_copy<true>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = std::move_iterator<long long unsigned int*>; _ForwardIterator = long long unsigned int*]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_uninitialized.h:147:27,inlined from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = move_iterator<long long unsigned int*>; _ForwardIterator = long long unsigned int*]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_uninitialized.h:185:15,inlined from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, allocator<_Tp>&) [with _InputIterator = move_iterator<long long unsigned int*>; _ForwardIterator = long long unsigned int*; _Tp = long long unsigned int]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_uninitialized.h:372:37,inlined from '_ForwardIterator std::__uninitialized_move_if_noexcept_a(_InputIterator, _InputIterator, _ForwardIterator, _Allocator&) [with _InputIterator = long long unsigned int*; _ForwardIterator = long long unsigned int*; _Allocator = allocator<long long unsigned int>]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_uninitialized.h:397:2,inlined from 'void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]' at C:/msys64/mingw64/include/c++/12.1.0/bits/vector.tcc:594:7,inlined from 'void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator<long long unsigned int>]' at C:/msys64/mingw64/include/c++/12.1.0/bits/stl_vector.h:1032:18,inlined from 'std::vector<long long unsigned int> vatools::CSMI::GetPcieBandWidth(u32)' at C:\msys64\home\haoyf\common\smi\vatools_smi.cpp:716:19:
C:/msys64/mingw64/include/c++/12.1.0/bits/stl_algobase.h:431:30: warning: 'void* __builtin_memcpy(void*, const void*, long long unsigned int)' offset 16 is out of the bounds [0, 16] [-Warray-bounds]431 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);|             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

类型错误是在模板展开的过程中出现使用类拷贝类型的类方法导致底层stl编译出错。找到位置，使用其他类型的接口进行替换即可。

__builtin_memset的-Warray-bounds 警告相关推荐

使用cppcheck检测代码警告、错误
cppcheck是一个C/C++静态检查工具.它可以帮助我们检测出代码存在(潜在)的问题,比如数组越界.内存申请未释放.文件打开未关闭.注意,cppcheck不是编译器,替代不了gcc. 在ubunt ...
【GCC】gcc警告选项汇总--编辑中|gcc编译选项
目录前言请求或取消警告选项 GCC编译选项参考原文:https://blog.csdn.net/qq_17308321/article/details/79979514 前言警告:不是错误的, ...
gcc警告选项汇总　转
---------------- 原文链接:https://blog.csdn.net/qq_17308321/article/details/79979514 参考资料:https://gcc.gn ...
C语言报错警告合集（转）
C常见错误附录1 常见错误中英文对照表 fatal error C1003: error count exceeds number; stopping compilation 中文对照:(编译错误) ...
整理iOS 错误警告
1. App installation failed A valid provisioning profile for this executable was not found. 原因是测试手机上没 ...
【iOS紫色警告】GPUImage启动摄像头耗时
当我们pod下GPUImage 后如果调用摄像头的代码,到启动摄像头会延迟很久,系统虽然不会报错,但是影响用户体验!!! 总结下来! 一共两个问题!!输出如下!!! Main Thread Chec ...
cppcheck卸载linux,使用cppcheck检测代码警告、错误
cppcheck是一个C/C++静态检查工具.它可以帮助我们检测出代码存在(潜在)的问题,比如数组越界.内存申请未释放.文件打开未关闭.注意,cppcheck不是编译器,替代不了gcc. 在ubunt ...
.cdata matlab,Matlab：AlphaData的警告尺寸必须与CData匹配
以下代码会产生错误: Warning: Dimensions of AlphaData must be 1x1, or must match CData. 问题是CData是彩色图像,因此有3个维度, ...
聚宽mysql,聚宽十万个为什么（常见Bug或者警告）
1 概述Hello,大家好,我们准备收集并整理常见问题,并在此做出解释. 大家有问题,可以在下面跟帖,我们答复并整理. 感谢您的参与. 温馨提示:大多数的异常或者报错,大家复制下报错代码的最后一行,在 ...

__builtin_memset的-Warray-bounds 警告

__builtin_memset的-Warray-bounds 警告相关推荐

最新文章

热门文章