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

这个目前的编译器已实现明显的逻辑错的检查 

如

   int x; x==0;

目前新版本的编译器会有警告

warning: statement with no effect [-Wunused-value]     

但普通的逻辑问题，是不能有代码实现查错的

如

你把

x+=10;

写成

x+=1;

是不可能有任何代码能查检出的