shaba/lvm2
1
0
Fork 0
mirror of git://sourceware.org/git/lvm2.git synced 2024-12-21 13:34:40 +03:00
Code Releases Activity

coverity: trying different model

Browse Source 
Model reseting of given set, but it still makes
FD_SET to think it's accessing uninitialized value.

Maybe model also FD_SET.
This commit is contained in:
Zdenek Kabelac 2015-11-17 18:58:15 +01:00
parent 83661c8f7f
commit 6167f5da10
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
coverity/coverity_model.c
View File

@ -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;
}
/*