summaryrefslogtreecommitdiff
path: root/test/test38.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/test38.cpp')
-rw-r--r--test/test38.cpp527
1 files changed, 527 insertions, 0 deletions
diff --git a/test/test38.cpp b/test/test38.cpp
new file mode 100644
index 0000000..dff85e3
--- /dev/null
+++ b/test/test38.cpp
@@ -0,0 +1,527 @@
+struct Data1;
+
+struct Data1
+{
+ int val;
+ Data1 *ptrval;
+ int arr[3];
+ Data1 *getData3()
+ {
+ return ptrval;
+ }
+};
+
+struct Data2 : public Data1
+{
+};
+
+int k;
+
+void paranuckerInternalTest(const char *action, const char *collection, const char *values);
+
+class Object1
+{
+ Data1 *tmp1;
+ Data1 *tmp2;
+
+ Data1 *getData1()
+ {
+ return tmp2;
+ }
+
+ Data1 *getData2() __attribute__((returns_nonnull))
+ {
+ return tmp2;
+ }
+
+ void func1(Data1 *ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1 && k == 10)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (tmp1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = new Data1;
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "ptr1");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+
+ Data1 *func2()
+ {
+ Data1 *ptr1 = nullptr;
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ return ptr1;
+ }
+
+ void func3()
+ {
+ Data1 *ptr1 = nullptr;
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (k == 20)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+
+ void func4()
+ {
+ Data1 *ptr1 = nullptr;
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ while (k == 20)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+
+ void func5()
+ {
+ Data1 *ptr1 = nullptr;
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (k == 20)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ return;
+ }
+ else
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "ptr1");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+};
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-07-02 12:40:44 +0000