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

windows.cfg: Add SetFilePointer() function configuration (#1167)

This commit is contained in:
Sebastian 2018-04-12 16:09:11 +02:00 committed by GitHub
parent 26e22a9f5c
commit 9e623b15b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
cfg/windows.cfg
View File

@ -5175,6 +5175,28 @@ HFONT CreateFont(
<not-bool/>
</arg>
</function>
<!-- DWORD WINAPI SetFilePointer(
_In_ HANDLE hFile,
_In_ LONG lDistanceToMove,
_Inout_opt_ PLONG lpDistanceToMoveHigh,
_In_ DWORD dwMoveMethod); -->
<function name="SetFilePointer">
<noreturn>false</noreturn>
<returnValue type="DWORD"/>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<!-- nullptr is valid -->
</arg>
<arg nr="4">
<not-uninit/>
</arg>
</function>
<!-- Intrinsic __noop https://docs.microsoft.com/en-us/cpp/intrinsics/noop -->
<function name="__noop">
<noreturn>false</noreturn>