C++中的fsanitize指令

本文介绍了C++中用于检测程序错误的fsanitize编译指令,通过实例展示了如何使用fsanitize检测数组越界和未定义行为。在测试一段包含线段树合并的代码时,fsanitize成功发现了数组越界的问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一个集成在 gccclang 编译器中的编译指令,可以有效测试程序中的一些诸如数组越界、未定义行为等情况。

举个例子:

#include <bits/stdc++.h>
using namespace std;

const int maxn=2e5+5,mxr=1e5,maxm=1e7+5;
int head[maxn],nxt[maxn],to[maxn],f[maxn][25],cnt,dep[maxn],rot[maxn],ans[maxn];

struct node{
   
   int ls,rs,sum,mx;}t[maxm];

void add(int x,int y){
   
   to[++cnt]=y;nxt[cnt]=head[x];head[x]=cnt;}

void dfs(int x,int fa)
{
   
   
	f[x][0]=fa;
	dep[x]=dep[fa]+1;
	for(int i=1;i<20;++i)
        f[x][i]=f[f[x][i-1]][i-1];
	for(int i=head[x];i;i=nxt
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值