std.cfg: Improved checking of memset. Added a constraint for the second parameter and do not all uninitialized usage.
This commit is contained in:
parent
58c2f372b9
commit
3074b38dca
@ -181,6 +181,7 @@
|
||||
<noreturn>false</noreturn>
|
||||
<leak-ignore/>
|
||||
<arg nr="1"><not-null/></arg>
|
||||
<arg nr="2"><not-uninit/></arg>
|
||||
<arg nr="3"><not-bool/><valid>0-</valid></arg>
|
||||
</function>
|
||||
<function name="mktime"><noreturn>false</noreturn><leak-ignore/><arg nr="1"><not-null/><not-uninit/></arg></function>
|
||||
|
Loading…
x
Reference in New Issue
Block a user