[lvm-devel] master - coverity: trying different model

[Zdenek Kabelac]

Gitweb:        http://git.fedorahosted.org/git/?p=lvm2.git;a=commitdiff;h=6167f5da103fe3d3619cfee1166a66b058e5b3ba
Commit:        6167f5da103fe3d3619cfee1166a66b058e5b3ba
Parent:        83661c8f7f954816284baf385fedfea4c4d57a88
Author:        Zdenek Kabelac <zkabelac at redhat.com>
AuthorDate:    Tue Nov 17 18:58:15 2015 +0100
Committer:     Zdenek Kabelac <zkabelac at redhat.com>
CommitterDate: Tue Nov 17 19:01:25 2015 +0100

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.
---
 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 d41c67c..dfd6158 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;
 }
 
 /*