Add new testcase to arraylengthanalysis library.

criemen · criemen · commit e397e5d32567 · 2020-05-06T16:36:48.000+02:00
diff --git a/cpp/ql/test/experimental/library-tests/rangeanalysis/arraylengthanalysis/test.cpp b/cpp/ql/test/experimental/library-tests/rangeanalysis/arraylengthanalysis/test.cpp
@@ -88,3 +88,8 @@ void test2(unsigned int count, bool b) {
   a = (int*) malloc(sizeof(int) * (1024 - count));
   sink(a); // none, as the size expression is too complicated
 }
+
+void test3(unsigned int object) {
+  unsigned int* ptr = &object;
+  sink(ptr); // TODO, none, but should be (Zero, 1, Zero, 0)
+}

Original file line number	Diff line number	Diff line change
`@@ -88,3 +88,8 @@ void test2(unsigned int count, bool b) {`
`88`	`88`	`a = (int) malloc(sizeof(int) (1024 - count));`
`89`	`89`	`sink(a); // none, as the size expression is too complicated`
`90`	`90`	`}`
	`91`	`+`
	`92`	`+void test3(unsigned int object) {`
	`93`	`+ unsigned int* ptr = &object;`
	`94`	`+ sink(ptr); // TODO, none, but should be (Zero, 1, Zero, 0)`
	`95`	`+}`