I've just glanced through the LCOV coverage report for grep's dfa.c: http://hydra.nixos.org/build/327533/download/1/coverage/src/dfa.c.gcov.html
I see a surprising amount of code that is supposedly not exercised at all by "make check". Something to investigate. If true, then adding tests to ensure those parts work will be a relatively high priority.
