hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

[CPP-434] Incorporate test from BadAdditionOverflowCheck.

Browse Source
This commit is contained in:
Ziemowit Laski
2019-10-09 17:30:30 -07:00
parent 7fc47d496a
commit 1ab965761b
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/test/query-tests/Likely Bugs/Arithmetic/SignedOverflowCheck/SignedOverflowCheck.cpp
View File

@@ -79,3 +79,7 @@ bool func1(se *so) {
}
return true;
}
bool checkOverflow3(unsigned int a, unsigned short b) {
return (a + b < a); // GOOD
}