a.c

392                                ssp = sep;
393                        }
394                        if (sep == NULL) {
395                                /* last successful match */
396                                sep = ssp;
397                                ssp = oldssp;
398                        }
399                        assert(sep == rest);    /* must exhaust substring */
400                        assert(slow(m, ssp, sep, ssub, esub) == rest);
   	CID 935: Unused value (UNUSED_VALUE) [select issue]
   	
CID 934 (#1 of 2): Unused value (UNUSED_VALUE)
returned_pointer: Value from ldissect(m, ssp, sep, ssub, esub) is assigned to dp here, but that stored value is not used before it is overwritten.
401                        dp = dissect(m, ssp, sep, ssub, esub);
402                        assert(dp == sep);
403                        sp = rest;
404                        break;
405                case OCH_:
406                        stp = stop;
407                        for (;;) {
408                                /* how long could this one be? */
409                                rest = slow(m, sp, stp, ss, es);
410                                assert(rest != NULL);   /* it did match */
411                                /* could the rest match the rest? */
412                                tail = slow(m, rest, stop, es, stopst);
413                                if (tail == stop)
414                                        break;          /* yes! */
415                                /* no -- try a shorter match for this one */
416                                stp = rest - 1;
417                                assert(stp >= sp);      /* it did work */
418                        }

b.c

92                                ssp = sep;
393                        }
394                        if (sep == NULL) {
395                                /* last successful match */
396                                sep = ssp;
397                                ssp = oldssp;
398                        }
399                        assert(sep == rest);    /* must exhaust substring */
400                        assert(slow(m, ssp, sep, ssub, esub) == rest);
   	CID 934: Unused value (UNUSED_VALUE) [select issue]
   	
CID 935 (#1 of 2): Unused value (UNUSED_VALUE)
returned_pointer: Value from sdissect(m, ssp, sep, ssub, esub) is assigned to dp here, but that stored value is not used before it is overwritten.
401                        dp = dissect(m, ssp, sep, ssub, esub);
402                        assert(dp == sep);
403                        sp = rest;
404                        break;
405                case OCH_:
406                        stp = stop;
407                        for (;;) {
408                                /* how long could this one be? */
409                                rest = slow(m, sp, stp, ss, es);
410                                assert(rest != NULL);   /* it did match */
411                                /* could the rest match the rest? */
412                                tail = slow(m, rest, stop, es, stopst);
413                                if (tail == stop)
414                                        break;          /* yes! */
415                                /* no -- try a shorter match for this one */
416                                stp = rest - 1;
417                                assert(stp >= sp);      /* it did work */
418                        }

c.c

1308        /* avoid making error situations worse */
1309        if (!p || p->error != 0 || !cats )
1310                return;
1311
    	assignment: Assigning: c = 4294967168U.
    	const: At condition c <= 127U, the value of c must be equal to 4294967168.
    	dead_error_condition: The condition c <= 127U cannot be true.
1312        for (c = CHAR_MIN; c <= CHAR_MAX; c++)
    	
CID 1205191 (#1 of 1): Logically dead code (DEADCODE)
dead_error_line: Execution cannot reach this statement: if (cats[c] && isinsets(g, ....
1313                if ( *(cats+c) && isinsets(g, c)) {
1314                        cat = g->ncategories++;
1315                        cats[c] = cat;
1316                        for (c2 = c+1; c2 <= CHAR_MAX; c2++)
1317                                if (cats[c2] == 0 && samesets(g, c, c2))
1318                                        cats[c2] = cat;
1319                }
1320}
1321
1322/*
1323 - dupl - emit a duplicate of a bunch of sops
1324 */
1325static sopno                    /* start of duplicate */
1326dupl(struct parse *p,
1327    sopno start,                /* from here */