Re: [PATCH]: Parse ISO 8601 extended date and time of day format

[Jim Meyering]

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.