c++怎么设定一个能检查我逻辑错误的程序

这个目前的编译器已实现明显的逻辑错的检查如 int x;x==0;目前新版本的编译器会有警告warning: statement with no effect [-Wunused-value] 但普通的逻辑问题，是不能有代码实现查错的如你把x+=10;写成x+=1;是不可能有任何代码能查检出的