From 1ab965761b13be373375ce694d2bb887ed6d4351 Mon Sep 17 00:00:00 2001 From: Ziemowit Laski Date: Wed, 9 Oct 2019 17:30:30 -0700 Subject: [PATCH] [CPP-434] Incorporate test from BadAdditionOverflowCheck. --- .../Arithmetic/SignedOverflowCheck/SignedOverflowCheck.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/SignedOverflowCheck/SignedOverflowCheck.cpp b/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/SignedOverflowCheck/SignedOverflowCheck.cpp index 92edcf1daf2..e04a6d25f55 100644 --- a/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/SignedOverflowCheck/SignedOverflowCheck.cpp +++ b/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/SignedOverflowCheck/SignedOverflowCheck.cpp @@ -79,3 +79,7 @@ bool func1(se *so) { } return true; } + +bool checkOverflow3(unsigned int a, unsigned short b) { + return (a + b < a); // GOOD +}