C++: Added more tests

MathiasVP · MathiasVP · commit e926966e73fb · 2020-01-03T14:08:12.000+01:00
diff --git a/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/IntMultToLong/IntMultToLong.c b/cpp/ql/test/query-tests/Likely Bugs/Arithmetic/IntMultToLong/IntMultToLong.c
@@ -101,4 +101,9 @@ void g(unsigned char uchar1, unsigned char uchar2, unsigned char uchar3, int i)
 
     ulong4 = (uchar1 + (uchar1 + 1)) * (uchar2 + 1); // GOOD
     ulong5 = (i + (uchar1 + 1)) * (uchar2 + 1); // BAD
+
+    ulong5 = (uchar1 + 1073741824) * uchar2; // BAD [NOT DETECTED]
+    ulong5 = (uchar1 + (1 << 30)) * uchar2; // BAD [NOT DETECTED]
+    ulong5 = uchar1 * uchar1 * uchar1 * uchar2 * uchar2 * uchar2; // BAD [NOT DETECTED]
+    ulong5 = (uchar1 + (unsigned short)(-1)) * (uchar2 + (unsigned short)(-1)); // BAD
 }

Original file line number	Diff line number	Diff line change
`@@ -101,4 +101,9 @@ void g(unsigned char uchar1, unsigned char uchar2, unsigned char uchar3, int i)`
`101`	`101`
`102`	`102`	`ulong4 = (uchar1 + (uchar1 + 1)) * (uchar2 + 1); // GOOD`
`103`	`103`	`ulong5 = (i + (uchar1 + 1)) * (uchar2 + 1); // BAD`
	`104`	`+`
	`105`	`+ ulong5 = (uchar1 + 1073741824) * uchar2; // BAD [NOT DETECTED]`
	`106`	`+ ulong5 = (uchar1 + (1 << 30)) * uchar2; // BAD [NOT DETECTED]`
	`107`	`+ ulong5 = uchar1 * uchar1 * uchar1 * uchar2 * uchar2 * uchar2; // BAD [NOT DETECTED]`
	`108`	`+ ulong5 = (uchar1 + (unsigned short)(-1)) * (uchar2 + (unsigned short)(-1)); // BAD`
`104`	`109`	`}`