walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Fix #9322: bsd.cfg, gnu.cfg: Fix FP for mmap when argument "fd" is -1 (#2306) 

In contrast to POSIX, GNU and BSD allow or even require the argument
"fd" to be set to -1 if MAP_ANONYMOUS or MAP_ANON is specified.
This commit is contained in:
Sebastian 2019-10-30 09:39:50 +01:00 committed by GitHub
parent 210232d35c
commit 02c0240dcd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 72 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
cfg/bsd.cfg
View File

@ -263,6 +263,36 @@
<valid>0:</valid>
</arg>
</function>
<!-- https://www.freebsd.org/cgi/man.cgi?query=mmap -->
<!-- void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset); -->
<!-- In contrast to POSIX, the BSD mmap requires fd to be -1 if MAP_ANONYMOUS or MAP_ANON is specified -->
<function name="mmap">
<use-retval/>
<returnValue type="void *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-uninit/>
<valid>1:</valid>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
<arg nr="4" direction="in">
<not-uninit/>
</arg>
<arg nr="5" direction="in">
<not-uninit/>
<valid>-1:</valid>
</arg>
<arg nr="6" direction="in">
<not-uninit/>
<not-bool/>
</arg>
</function>
<podtype name="FTS"/>
<podtype name="FTSENT"/>
</def>

30
cfg/gnu.cfg
View File

@ -1290,6 +1290,36 @@
<not-bool/>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man2/mmap.2.html -->
<!-- void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset); -->
<!-- In contrast to POSIX, the GNU mmap allows/requires (depends on the implementation) fd to be -1 if MAP_ANONYMOUS or MAP_ANON is specified -->
<function name="mmap">
<use-retval/>
<returnValue type="void *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-uninit/>
<valid>1:</valid>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
</arg>
<arg nr="4" direction="in">
<not-uninit/>
</arg>
<arg nr="5" direction="in">
<not-uninit/>
<valid>-1:</valid>
</arg>
<arg nr="6" direction="in">
<not-uninit/>
<not-bool/>
</arg>
</function>
<!-- ########## Resource allocation ########## -->
<resource>
<alloc init="true">mkostemp</alloc>

12
test/cfg/gnu.c
View File

@ -13,6 +13,7 @@
#include <stdio.h>
#include <stdarg.h>
#include <sys/time.h>
#include <sys/mman.h>
#ifndef __CYGWIN__
#include <sys/epoll.h>
#endif
@ -148,6 +149,10 @@ void valid_code(int argInt1, va_list valist_arg, int * parg)
printf("%d", __extension__ 0b10001000);
if (__alignof__(int) == 4) {}
void * p_mmap = mmap(NULL, 1, PROT_NONE, MAP_ANONYMOUS | MAP_SHARED, -1, 0);
printf("%p", p_mmap);
munmap(p_mmap, 1);
}
void ignoreleak(void)
@ -175,6 +180,13 @@ void memleak_xmalloc()
// cppcheck-suppress memleak
}
void memleak_mmap()
{
void * p_mmap = mmap(NULL, 1, PROT_NONE, MAP_ANONYMOUS | MAP_SHARED, -1, 0);
printf("%p", p_mmap);
// cppcheck-suppress memleak
}
void uninitvar__builtin_memset(void)
{
void *s;