bad 6944 tools/finsig_thumb2.c int bad=0; bad 6963 tools/finsig_thumb2.c bad++; bad 6975 tools/finsig_thumb2.c bad++; bad 6979 tools/finsig_thumb2.c if (bad == 0)