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

std.cfg: Added returnValue support for iswdigit().

This commit is contained in:
orbitcowboy 2016-11-04 14:20:59 +01:00
parent 75124317e9
commit ed453d24da
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cfg/std.cfg
View File

@ -1600,6 +1600,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int">arg1&gt;=L'0' &amp;&amp; arg1&lt;=L'9'</returnValue>
<arg nr="1">
<not-uninit/>
</arg>

5
test/cfg/std.c
View File

@ -3722,6 +3722,11 @@ void valueFlow(void)
// cppcheck-suppress knownConditionTrueFalse
AssertAlwaysTrue(iswblank(w0) == 0);
// cppcheck-suppress knownConditionTrueFalse
AssertAlwaysTrue(iswdigit(w0) == 0);
// cppcheck-suppress knownConditionTrueFalse
AssertAlwaysTrue(iswdigit(wtab) == 1);
// cppcheck-suppress knownConditionTrueFalse
AssertAlwaysTrue(labs(three) == 3);
// cppcheck-suppress knownConditionTrueFalse