--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on July 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Assumes got status invalid



Hello,

While performing impact analysis on nginx, I get a result saying that the
function where I have the impact pragma *ngx_alloc* is unreachable. So I
looked at the output and see lots of `got status invalid` messages for
preconditions. This is the first one of those messages.

[value] src/core/ngx_times.c:91:

  function gettimeofday, behavior tz_not_null: assumes got status invalid;
behavior not evaluated

When I look inside frama-c/libc/sys/time.h I see four behaviours defined
for the `getttimeofday` functions which should be the complete
specification for the `tz` and `tv` values, so I don't understand what
`assumes got invalid` here means. Could you please explain this? Hopefully,
this will also help me understand the others that follow.

Thanks,
Divya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20180716/a1ae0c13/attachment.html>