Re: FYI: dfa: add an assertion to avoid coverity false positive

2016-12-14 Thread Paul Eggert
I somehow managed to install the wrong version. Sorry about that. Should be fixed by the attached. From 9c5c43cdd808a6f0e9cccf8b8ae8a73ea3526bc3 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 14 Dec 2016 15:11:28 -0800 Subject: [PATCH] dfa: fix glitches in previous

Re: FYI: dfa: add an assertion to avoid coverity false positive

2016-12-14 Thread Paul Eggert
On 12/13/2016 10:49 PM, Jim Meyering wrote: It took me a few minutes to convince myself that a coverity warning was unwarranted, so I've added an assert that should suppress it. I looked at it for a bit and found a way to justify some sort of warning in that area, although the failure is

FYI: dfa: add an assertion to avoid coverity false positive

2016-12-13 Thread Jim Meyering
It took me a few minutes to convince myself that a coverity warning was unwarranted, so I've added an assert that should suppress it. If someone sees a better way (i.e., with no assertion), please suggest a patch. From 744c745300fa7b1c73dd9f6b323d3bf4823857e6 Mon Sep 17 00:00:00 2001 From: Jim