From 39a6eefef5f4deb3f806ac4885a9402170e31770 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Mon, 30 Dec 2019 09:44:49 +0100 Subject: [PATCH] test/testsuites/danmar-verify: Added test cases --- test/testsuites/danmar-verify/divbyzero.cpp | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/test/testsuites/danmar-verify/divbyzero.cpp b/test/testsuites/danmar-verify/divbyzero.cpp index e53d03515..c2c3fc737 100644 --- a/test/testsuites/danmar-verify/divbyzero.cpp +++ b/test/testsuites/danmar-verify/divbyzero.cpp @@ -1,4 +1,20 @@ +struct S { int x; }; + +int globalvar; + +void callfunc1() { + int x = 16; + scanf("%i\n", &x); + // cppcheck-suppress verificationDivByZero + return 100000 / x; +} + +void g1() { + // cppcheck-suppress verificationDivByZero + return 100000 / globalvar; +} + void pointer1(int *p) { // cppcheck-suppress verificationDivByZero return 100000 / *p; @@ -19,7 +35,6 @@ void stdmap(std::map &data) { return 100000 / data[43]; } -struct S { int x; }; void struct1(struct S *s) { // cppcheck-suppress verificationDivByZero return 100000 / s->x;