一个集成在 gcc
、clang
编译器中的编译指令,可以有效测试程序中的一些诸如数组越界、未定义行为等情况。
举个例子:
#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