Maxim Integrated's IoT development kit.
Dependencies: MAX30101 MAX30003 MAX113XX_Pixi MAX30205 max32630fthr USBDevice
Diff: tools/Cppcheck-1.78/cfg/sdl.cfg
- Revision:
- 1:efe9cad8942f
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tools/Cppcheck-1.78/cfg/sdl.cfg Tue Mar 13 14:52:59 2018 +0300 @@ -0,0 +1,78 @@ +<?xml version="1.0"?> +<def format="1"> + <function name="SDL_mutexP"> + <noreturn>false</noreturn> + <arg nr="1"> + <not-bool/> + <not-null/> + </arg> + </function> + <function name="SDL_mutexV"> + <noreturn>false</noreturn> + <arg nr="1"> + <not-bool/> + <not-null/> + </arg> + </function> + <function name="SDL_RWsize"> + <noreturn>false</noreturn> + <arg nr="1"> + <not-bool/> + <not-null/> + </arg> + </function> + <function name="SDL_RWread"> + <noreturn>false</noreturn> + <arg nr="1"> + <not-bool/> + <not-null/> + </arg> + <arg nr="2"> + <not-bool/> + <not-null/> + </arg> + </function> + <function name="IMG_isPNG"> + <noreturn>false</noreturn> + <arg nr="1"> + <not-bool/> + <not-null/> + </arg> + </function> + <function name="IMG_isJPG"> + <noreturn>false</noreturn> + <arg nr="1"> + <not-bool/> + <not-null/> + </arg> + </function> + <resource> + <dealloc>SDL_FreeSurface</dealloc> + <alloc init="true">SDL_CreateRGBSurface</alloc> + <alloc init="true">SDL_ConvertSurface</alloc> + <alloc init="true">TTF_RenderUTF8_Blended</alloc> + <alloc init="true">IMG_LoadPNG_RW</alloc> + <alloc init="true">IMG_LoadJPG_RW</alloc> + <alloc init="true">IMG_Load</alloc> + </resource> + <resource> + <dealloc>SDL_DestroyMutex</dealloc> + <alloc init="true">SDL_CreateMutex</alloc> + </resource> + <resource> + <dealloc>SDL_WaitThread</dealloc> + <alloc init="true">SDL_CreateThread</alloc> + </resource> + <resource> + <dealloc>SDL_RWclose</dealloc> + <alloc init="true">SDL_RWFromFile</alloc> + </resource> + <resource> + <dealloc>SDL_FreeRW</dealloc> + <alloc init="true">SDL_AllocRW</alloc> + </resource> + <resource> + <dealloc>Mix_FreeMusic</dealloc> + <alloc init="true">Mix_LoadMUSType_RW</alloc> + </resource> +</def>