diff options
| author | Zdenek Kabelac <zkabelac@redhat.com> | 2015-11-17 18:58:15 +0100 |
|---|---|---|
| committer | Zdenek Kabelac <zkabelac@redhat.com> | 2015-11-17 19:01:25 +0100 |
| commit | 6167f5da103fe3d3619cfee1166a66b058e5b3ba (patch) | |
| tree | f41c3e1f56651c82bc6834d11f3e0cc69ca2a3a3 /coverity | |
| parent | 83661c8f7f954816284baf385fedfea4c4d57a88 (diff) | |
| download | lvm2-6167f5da103fe3d3619cfee1166a66b058e5b3ba.tar.gz | |
coverity: trying different model
Model reseting of given set, but it still makes
FD_SET to think it's accessing uninitialized value.
Maybe model also FD_SET.
Diffstat (limited to 'coverity')
| -rw-r--r-- | coverity/coverity_model.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/coverity/coverity_model.c b/coverity/coverity_model.c index d41c67c61..dfd615822 100644 --- a/coverity/coverity_model.c +++ b/coverity/coverity_model.c @@ -66,8 +66,9 @@ void *memccpy(void *dest, const void *src, int c, size_t n) void model_FD_ZERO(void *fdset) { unsigned i; - for (i = 0; i < 1024 / 8 / sizeof(int); ++i) - ((int*)fdset)[i]; + + for (i = 0; i < 1024 / 8 / sizeof(long); ++i) + ((long*)fdset)[i] = 0; } /* |