Paul Eggert wrote:
> On 08/18/2011 02:25 PM, Jim Meyering wrote:
>> I had to
>> comment out the two verify uses to make coverity succeed in
>> analyzing parse-datetime.c
>
> Dumb question: How does 'verify' break coverity?
> Is there a plausible workaround?
> (Sorry, I don't use coverity.)
I haven't pursued it, yet.
Here are the offending diagnostics from its build-log.txt:
Emit for file '/w/gnulib/x/gllib/c-ctype.c' complete.
"parse-datetime.y", line 109: error #79: expected a type specifier
verify (TYPE_IS_INTEGER (time_t));
^
"parse-datetime.y", line 109: error #79: expected a type specifier
verify (TYPE_IS_INTEGER (time_t));
^
"parse-datetime.y", line 118: error #79: expected a type specifier
verify (TYPE_MINIMUM (long_time_t) <= TYPE_MINIMUM (time_t)
^
"parse-datetime.y", line 118: error #79: expected a type specifier
verify (TYPE_MINIMUM (long_time_t) <= TYPE_MINIMUM (time_t)
^
This is where having a byte offset in addition to the line number
would be useful.
