--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on July 2018 ---
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>