以下のエラーを検出することが出来ます。

（実例１）

#include <stdio.h> main() { 　　if(1) 　　{ 　　　　(void)printf( "True\n" ); 　　} 　　else 　　{ 　　　　(void)printf( "False\n" ); 　　} }

if文の条件式が常に１になる。










（実例２）

#include <stdio.h> main() { 　　/* CONSTCOND */ 　　while(1) 　　{ 　　　　(void)printf( "endless loop\n" ); 　　} }

このような場合には、コメント“CONSTCOND”を直前に記述すると良い。ちなみに、このエラーを抑制するオプションは用意されていない。